Sciweavers

1536 search results - page 83 / 308
» On the Relation between Interpreted Systems and Kripke Model...
Sort
View
TARK
1998
Springer
15 years 2 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»
14 years 9 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»
14 years 9 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 2 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
14 years 12 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