30240 search results - page 139 / 6048 » Robust System Design |
308
click to vote
NFM
2011
15 years 1 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
172
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
An application of compressive sensing (CS) theory in imagebased robust face recognition is considered. Most contemporary face recognition systems suffer from limited abilities to ...
153
click to vote
CDC
2008
IEEE
16 years 24 days 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...
190
click to vote
ICCE
2007
15 years 7 months ago
2007
: Intelligent tutoring systems assist medical faculty in training and equipping students with the required clinical reasoning skills. Plausible student solutions to a given problem...
183
click to vote
VRCAI
2004
ACM
15 years 11 months ago
2004
ACM
Augmented reality (AR) deals with the problem of dynamically and accurately align virtual objects with the real world. Among the used methods, vision-based techniques have advanta...