8141 search results - page 202 / 1629 » Higher Order Generalization |
115
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
143
click to vote
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
We are interested in retrieving information from conversational speech corpora, such as call-center data. This data comprises spontaneous speech conversations with low recording q...
113
Voted
VRST
2006
ACM
15 years 9 months ago
2006
ACM
This paper describes an experiment that examines the influence of visual realism on reported presence. 33 participants experienced two different renderings of a virtual environmen...
130
click to vote
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
Song and Bruza [6] introduce a framework for Information Retrieval(IR) based on Gardenfor’s three tiered cognitive model; Conceptual Spaces[4]. They instantiate a conceptual spa...
135
click to vote
VRST
2005
ACM
15 years 9 months ago
2005
ACM
This paper considers the utility of VR in the design of the interface to a space-based telerobotic manipulator. An experiment was conducted to evaluate the potential for improved ...