6608 search results - page 1042 / 1322 » On the Completeness of Model Checking |
175
click to vote
VR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a complete framework for creating a speechenabled avatar from a single image of a person. Our approach uses a generic facial motion model which represents defo...
154
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Microrobots experience physical phenomena that are difficult to model analytically and that are not completely captured with macro-scale prototypes. In this paper we present a...
152
click to vote
CALCO
2007
Springer
16 years 26 days ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
148
click to vote
FOSSACS
2007
Springer
16 years 25 days 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...
219
click to vote
ICSOC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...