4650 search results - page 477 / 930 » Generating and evaluating evaluative arguments |
180
Voted
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
Windows NT was not designed as a real-time operating system, but market forces and the acceptance of NT in industrial applications have generated a need for achieving real-time fu...
150
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes a practical test approach for analog-to-digital converters (ADCs) based on the oscillation-test strategy. The oscillation-test is applied to convert the ADC u...
155
Voted
KDD
1998
ACM
15 years 11 months ago
1998
ACM
We apply a well-known Bayesian probabilistic model to textual information retrieval: the classification of documents based on their relevance to a query. This model was previously...
175
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
202
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper, we report on experiments with a core system for autonomous navigation in outdoor natural terrain. The system consists of three parts: a perception module which proc...