5600 search results - page 61 / 1120 » Synthesizing robust systems |
NFM
2011
13 years 2 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...
INTERSPEECH
2010
13 years 2 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 ...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...
ICCE
2007
13 years 9 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...
VRCAI
2004
ACM
14 years 1 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...