307 search results - page 26 / 62 » Analysis of Hybrid Systems Using HySAT |
109
Voted
HYBRID
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
124
click to vote
ICDAR
2005
IEEE
15 years 7 months ago
2005
IEEE
On-line handwriting recognition has continued to persist as a popular research field while pen computing applications are widely used in recent years. This paper proposes a novel ...
131
click to vote
WSC
1997
15 years 3 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— We present a vision- and ladar-based approach to autonomous driving on rural and desert roads that has been tested extensively in a closed-loop system. The vision component use...
106
Voted
VR
1999
IEEE
15 years 6 months ago
1999
IEEE
The biggest single obstacle to building effective augmented reality (AR) systems is the lack of accurate wide-area sensors for trackers that report the locations and orientations ...