4693 search results - page 623 / 939 » Verifying Hybrid Systems |
158
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
While systems supporting communities of practice in work organizations have been shown to be desirable many, if not all, are decoupled from daily work practices and tools. This hi...
132
click to vote
JAR
2002
15 years 6 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...
183
click to vote
USS
2010
15 years 4 months ago
2010
One of the main obstacles for the wider deployment of radio (RF) distance bounding is the lack of platforms that implement these protocols. We address this problem and we build a ...
210
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper deals with hierarchical model predictive control (MPC) of distributed systems. A threelevel hierarchical approach is proposed, consisting of a high level MPC controller,...
191
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We present a 3-D shape-based object recognition system for simultaneous recognition of multiple objects in scenes containing clutter and occlusion. Recognition is based on matchin...