12774 search results - page 2363 / 2555 » A Framework for Proof Systems |
151
click to vote
EMNLP
2009
15 years 4 months ago
2009
Most existing information retrieval (IR) systems do not take much advantage of natural language processing (NLP) techniques due to the complexity and limited observed effectivenes...
190
click to vote
ETELEMED
2009
IEEE
15 years 4 months ago
2009
IEEE
- E-Health systems' interoperability constitutes one of the main challenges of the IT society. E-Health interoperability will not occur without a shared policy and a process f...
181
click to vote
GVD
2009
15 years 4 months ago
2009
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
173
click to vote
HAPTICS
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a new framework for information cue rendering on 2D vibrotactile arrays, and we describe an experiment that investigated the feasibility of our approach. The methods ar...
204
click to vote
HCI
2009
15 years 4 months ago
2009
This paper describes two affect-sensitive variants of an existing intelligent tutoring system called AutoTutor. The new versions of AutoTutor detect learners' boredom, confusi...