3238 search results - page 457 / 648 » On the Computational Interpretation of Negation |
179
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
144
click to vote
WS
2004
ACM
15 years 12 months ago
2004
ACM
Title of Thesis: DISTRIBUTED TRUST EVALUATION IN AD-HOC NETWORKS Georgios E. Theodorakopoulos, Master of Science, 2004 Thesis directed by: Professor John S. Baras Department of El...
179
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
158
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
148
click to vote
ICMI
2004
Springer
15 years 12 months ago
2004
Springer
We propose an architecture for a real-time multimodal system, which provides non-contact, adaptive user interfacing for Computer-Assisted Surgery (CAS). The system, called M/ORIS ...