393 search results - page 47 / 79 » synthese 2008 |
102
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper, we consider a motion planning problem for a class of constrained nonlinear systems. In each simplex of a triangulation of the set of states, the nonlinear dynami...
111
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Constant-coefficient multipliers are fundamental components in digital signal processing and arithmetic-based systems. Their verification, however, remains difficult and time-cons...
105
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an efficient analog synthesis algorithm employing regression models of circuit matrices. Circuit matrix models achieve accurate and speedy synthesis of analog circuits...
101
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
109
click to vote
HAPTICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. We describe experiments that compared the perceived relative roughness of textured virtual walls synthesized with an accurately controlled haptic interface. Texture was m...