Sciweavers

7075 search results - page 138 / 1415
» Models and heterogeneous reasoning
Sort
View
81
Voted
LICS
2003
IEEE
15 years 9 months ago
Model Checking Guarded Protocols
E. Allen Emerson, Vineet Kahlon
ECSQARU
2003
Springer
15 years 9 months ago
A Random set Model for Fuzzy Labels
Jonathan Lawry, Jordi Recasens
108
Voted
ICLP
2003
Springer
15 years 9 months ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato
IJVR
2008
137views more  IJVR 2008»
15 years 3 months ago
Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
Yisong Liu, Shan Zhong, Yongzhao Zhan
ICALT
2005
IEEE
15 years 9 months ago
Intelligent Visual Reasoning Tutor
Visual reasoning is an essential skill for many disciplines in engineering and architecture. We describe an intelligent tutoring system for visual reasoning that uses the missing ...
Eric Wang, Yong Se Kim