8141 search results - page 202 / 1629 » Higher Order Generalization |
152
click to vote
KBSE
2007
IEEE
16 years 22 days 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: ...
180
click to vote
SIGIR
2006
ACM
16 years 12 days 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...
154
click to vote
VRST
2006
ACM
16 years 12 days 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...
156
click to vote
SIGIR
2005
ACM
16 years 1 days 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...
168
click to vote
VRST
2005
ACM
16 years 22 hour 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 ...