Zoekresultaten
Resultaat 1 - 5 (van 5)
Computing Science Institute KUN on the TREC-9 filtering track: incrementality, decay, and threshold optimization for adaptive filtering systems
Non-fictie
Engels | 27 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek
Computing Science Institute Design of a PLC control program for a batch plant VHS case study 1
Non-fictie
Engels | 35 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek
Computing Science Institute Linear parametric model checking of timed automata
Non-fictie
Engels | 32 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek
Computing Science Institute Efficient guiding towards cost-optimality in UPPAAL
Non-fictie
Engels | 21 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek
Computing Science Institute Minimum-cost reachability for priced timed automata
Non-fictie
Engels | 22 pagina's | Computing Science Institute Nijmegen, Faculty of Science, University of Nijmegen, Nijmegen | 2001
Gedrukt boek