10159 search results - page 153 / 2032 » System Design Validation Using Formal Models |
101
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
111
Voted
AAAI
1990
15 years 3 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
119
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
137
Voted
SCA
2007
15 years 4 months ago
2007
In this paper, we present an intuitive interface for interactively posing 3D facial expressions. The user can create and edit facial expressions by drawing freeform strokes, or by...
121
click to vote
ISBI
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a physical phantom designed for fibre tractography validation and use it to evaluate tracking algorithms that employ (a) the classic diffusion tensor model of diffusion...