Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
31 - 40 of 169 search results for katalk:za33 24 where 0 match all words and 169 match some words.

  1. Results that match 1 of 2 words

  2. Automated Reasoning Group Old FTP Area for HOL

    https://www.cl.cam.ac.uk/research/hvg/old/FTP/FTP.html
    17 Oct 2000: Z by Mike Gordon (94.01.24). Shallow embedding of Z in HOL. ... HOLproof by Joakim von Wright (93.09.24). A formalisation of higher order logic proofs in HOL.

  3. WFS Status

    https://people.ast.cam.ac.uk/~mike/casu/WFCsur/wfsjpleiades.html
    16 Dec 2000: Nominal grid centre: 03 47 00.00 24 00 00.0 J2000 Pleiades RA step size : 30.00 arc mins Dec step size : 20.00 arc mins Filters: I Z Nominal ... Exposures: 600s, 1200s Nominal 3 degree x 3 degree grid Passbands wfsj03472400-iz01 3 49 18.07 24 49 13.0

  4. 4. Tests of the algorithm

    www.tcm.phy.cam.ac.uk/~pdh1001/papers/paper5/node4.html
    11 Jul 2000: We use an LDA [24] for the exchange and correlation term. ... We have performed another calculation with. updated according to the highest kinetic energy of all approximate eigenvectors, which converges to 24 eV.

  5. Index of courses by lecturer name

    https://www.cl.cam.ac.uk/teaching/2000/lecturers.html
    6 Oct 2000: Operating Systems (lectures at 12:00 starting 24/4/01). lectures at 11:00 starting 5/10/00).

  6. https://people.ast.cam.ac.uk/~rgm/cirsi/IRstandards/Persson.tab2.txt

    https://people.ast.cam.ac.uk/~rgm/cirsi/IRstandards/Persson.tab2.txt
    5 Apr 2000: unc Ks unc note 9101 P525-E 00:24:28.3 07:49:02 11.622 0.005 11.298 0.005 11.223 0.008 11.223 0.005 16 ... 16 10 17 4 9103 S294-D 00:33:15.2 -39:24:10 10.932 0.006 10.657 0.004 10.596 0.005 10.594 0.004 15

  7. MODULE 9

    https://www.cl.cam.ac.uk/teaching/1999/FoundsProg/MODULE9.html
    10 Nov 2000: 36 15 24 13 2 1 2 2 2 2 1 2.

  8. General Query Expansion Techniques for Spoken Document Retrieval

    mi.eng.cam.ac.uk/reports/full_html/jourlin_esca99.html/
    2 Mar 2000: Our retrieval system was run on 7 different sets of automatically transcribed broadcast news texts with a WER varying from 24.8% to 66.2%. ... The overall system gave a WER of 24.8% which corresponded to a Processed Term Error Rate [11] (which more

  9. Plan-A

    https://www.cl.cam.ac.uk/research/srg/netos/projects/archive/plana/
    2 Oct 2000: There are also some DanOS papers available in both postscript and pdf formId: index.html,v 1.10 2000/10/02 16:20:24 smh22 Exp $.

  10. Improving Retrieval on Imperfect Speech Transcriptions

    mi.eng.cam.ac.uk/reports/full_html/jourlin_sigir99.html/
    8 Mar 2000: HTK. ATT. Dragon. Base1. Sheff. Base2. DERA. WER. 24.8. 31.0. 29.8.

  11. Concurrent Systems: Instructor’s Guide

    https://www.cl.cam.ac.uk/teaching/2000/ConcSys/csig2/IG.html
    27 Sep 2000: Concurrent Systems: Instructor’s Guide. Contents. Outline of the guide. 2. Curriculum design. 3. Points to emphasis and teaching hints. 9. Solutions to exercises. 39. Some past exam questions. 112. Transparency list and transparencies. 115.

Refine your results

Format

clear all

Date

Related searches for katalk:za33 24

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.