Sciweavers

11436 search results - page 110 / 2288
» Modeling Real Reasoning
Sort
View
CSL
2005
Springer
15 years 6 months ago
Bounded Model Checking of Pointer Programs
Witold Charatonik, Lilia Georgieva, Patrick Maier
67
Voted
LICS
2003
IEEE
15 years 6 months ago
Model Checking Guarded Protocols
E. Allen Emerson, Vineet Kahlon
ECSQARU
2003
Springer
15 years 6 months ago
A Random set Model for Fuzzy Labels
Jonathan Lawry, Jordi Recasens
ICLP
2003
Springer
15 years 6 months ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato
110
Voted
IJVR
2008
137views more  IJVR 2008»
15 years 1 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