Sciweavers

1536 search results - page 83 / 308
» On the Relation between Interpreted Systems and Kripke Model...
Sort
View
TARK
1998
Springer
15 years 10 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
VR
2008
IEEE
120views Virtual Reality» more  VR 2008»
15 years 6 months ago
Force modeling for tooth preparation in a dental training system
Feedback force is very important for novices to simulate tooth preparation by using the haptic interaction system (dental training system) in a virtual environment. In the process ...
Guanyang Liu, Yuru Zhang, William T. Townsend
CORR
2000
Springer
84views Education» more  CORR 2000»
15 years 6 months ago
Using a Diathesis Model for Semantic Parsing
This paper presents a semantic parsing approach for non domain-specific texts. Semantic parsing is one of the major bottlenecks of Natural Language Understanding (NLU) systems and...
Jordi Atserias, Irene Castellón, Montse Civ...
AH
2000
Springer
15 years 10 months ago
Adaptation Control in Adaptive Hypermedia Systems
A hypermedia application offers its users a lot of freedom to navigate through a large hyperspace, described by a domain model. Adaptive hypermedia systems (AHS) aim at overcoming ...
Hongjing Wu, Paul De Bra, A. T. M. Aerts, Geert-Ja...
ACMDIS
2008
ACM
15 years 8 months ago
Subjective objectivity: negotiating emotional meaning
Affective computing systems face challenges in relating objective measures with subjective human experiences. Many systems have either focused on objective measures as a substitut...
Lucian Leahu, Steve Schwenk, Phoebe Sengers