7890 search results - page 438 / 1578 » The MathSAT 3 System |
197
click to vote
PAAMS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
177
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we develop a computer vision-based system to transfer human motion from one subject to another. Our system uses a network of eight calibrated and synchronized camera...
213
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
139
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...
175
click to vote
FORTE
2008
15 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...