2364 search results - page 345 / 473 » On O-Minimal Hybrid Systems |
136
click to vote
IJRR
2010
15 years 3 months ago
2010
The bounding gait for the Platform for Ambulating Wheels (PAW), a new and unique hybrid wheeled-leg system is presented here. Two hypotheses are tested and discussed: first, that ...
156
click to vote
AISS
2010
15 years 1 months ago
2010
This paper has focused on the integration of Hybrid Renewable Energy, specifically the solar energy resources into conventional electric grid and deployment of smart architecture ...
173
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
215
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
180
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...