740 search results - page 113 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
102
click to vote
FLAIRS
2004
15 years 2 months ago
2004
In human-human conversation, people use linguistic expressions that are flexibly tailored to context as a matter of course, and they expect their conversational partners to do lik...
BCSHCI
2009
15 years 2 months ago
2009
We describe the design process we have used to develop a minimal, twenty vibration motor Tactile Vision Sensory Substitution (TVSS) system which enables blind-folded subjects to s...
104
click to vote
DATAMINE
2002
15 years 1 months ago
2002
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...
135
click to vote
HASKELL
2007
ACM
15 years 5 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
112
click to vote
SENSYS
2009
ACM
15 years 8 months ago
2009
ACM
Wireless sensor networks have been proposed for many location-dependent applications. In such applications, the requirement of low system cost prohibits many range-based methods f...