1817 search results - page 91 / 364 » Extensive Games as Process Models |
114
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
139
click to vote
SAGT
2010
Springer
15 years 1 months ago
2010
Springer
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
164
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
120
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
The management of big databases of threedimensional models (used in CAD applications, visualization, games, etc.) is a very important domain. The ability to characterize and easil...
125
click to vote
CVPR
1997
IEEE
15 years 7 months ago
1997
IEEE
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...