10159 search results - page 594 / 2032 » System Design Validation Using Formal Models |
160
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
197
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
156
Voted
RAS
2002
15 years 6 months ago
2002
In this paper, we address the problem of generating trajectories of some image features in order to control efficiently a robotic system using an image-based control strategy. Firs...
177
click to vote
JSAC
2006
15 years 6 months ago
2006
This paper focuses on the interaction between the Transport Control Protocol (TCP) layer and the radio interface in the High Speed Downlink Packet Access (HSDPA) wireless system. I...
173
Voted
AAAI
2007
15 years 9 months ago
2007
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...