4096 search results - page 752 / 820 » An Object Model for Interoperable Systems |
121
Voted
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...
172
click to vote
TOG
2002
15 years 3 months ago
2002
In this paper, we present a system for interactive computation of global illumination in dynamic scenes. Our system uses a novel scheme for caching the results of a high quality p...
203
click to vote
VRML
2003
ACM
15 years 9 months ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...
143
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
133
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...