483 search results - page 18 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
122
click to vote
CASES
2007
ACM
15 years 3 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
109
click to vote
ICCV
2007
IEEE
15 years 1 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
105
click to vote
TCS
2002
14 years 11 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
ICDAR
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper describes a support system for archeologists to read “mokkan”. A mokkan is a wooden tablet on which text was written by a brush. Many mokkans used in Nara period (f...
107
click to vote
PDCN
2004
15 years 21 days ago
2004
IEEE 802.11, the standard of wireless local area networks (WLANs), allows the coexistence of asynchronous and time-bounded traffic using the distributed coordination function (DCF)...