8190 search results - page 109 / 1638 » From Timed to Hybrid Systems |
CVPR
2003
IEEE
15 years 2 days ago
2003
IEEE
This paper addresses the problem of computing visual hulls from image contours. We propose a new hybrid approach which overcomes the precision-complexity trade-off inherent to vox...
ICNP
2002
IEEE
14 years 3 months ago
2002
IEEE
We present the hybrid activation multiple access (HAMA) protocol for ad hoc networks. Unlike previous channel access scheduling protocols that activate either nodes or links only,...
SEFM
2005
IEEE
14 years 3 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
MICAI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
ISRR
2005
Springer
14 years 3 months ago
2005
Springer
Robotic manipulation at the nanometer scale is a promising technology for structuring, characterizing and assembling nano building blocks into nanoelectromechanical systems (NEMS)...