6047 search results - page 590 / 1210 » Modeling with Extend |
194
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
199
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
193
click to vote
IVA
2007
Springer
16 years 1 months ago
2007
Springer
We present the platform for IVAs development in the human like environment of the first-person shooter game Unreal Tournament 2004. This environment is extendible and supported by ...
190
click to vote
WDAG
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Distributed computing must adapt its techniques to networks of mobile agents. Indeed, we are facing new problems like the small size of memory and the lack of computation...
198
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents a parametric approach for tracking piecewise planar scenes with central catadioptric cameras (including perspective cameras). We extend the standard notion ...