4693 search results - page 220 / 939 » Verifying Hybrid Systems |
161
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
166
click to vote
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
150
click to vote
VTC
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
141
Voted
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— This work considers a hybrid force and vision control system for robotic manipulators using a force sensor and a fixed uncalibrated camera. A method is proposed to combine dir...
155
Voted
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...