4447 search results - page 607 / 890 » Model Checking Games |
208
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
160
click to vote
AAAI
2007
15 years 9 months ago
2007
Agents must form and update mental models about each other in a wide range of domains: team coordination, plan recognition, social simulation, user modeling, games of incomplete i...
176
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Image based modeling and rendering techniques have become increasingly popular for creating and visualizing 3D models from a set of images. Typically, these techniques depend on v...
202
click to vote
AAAI
2008
15 years 9 months ago
2008
In multi-robot settings, activity recognition allows a robot to respond intelligently to the other robots in its environment. Conditional random fields are temporal models that ar...
167
click to vote
GRAPHICSINTERFACE
2001
15 years 8 months ago
2001
Simplification techniques have mainly been applied on static models. However in movie and game industries, many models are designed to be animated. We extend the progressive mesh ...