3679 search results - page 71 / 736 » Hybrid Semantic Analysis |
87
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...
90
Voted
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
- The subject of this paper is a hybrid hip biped climbing robot. The hybrid hip provides both prismatic and revolute motion, discretely, to the robot, using a single actuator. Thi...
111
click to vote
IJCAI
2001
15 years 2 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
130
Voted
ATVA
2011
Springer
14 years 18 days ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
104
Voted
APCCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
— We conduct a complete analysis of the effect of digit redundancy in adders on their delay, power, energy, and energy-delay product. To our knowledge, this is the first such de...