1366 search results - page 165 / 274 » Modularizing Contexted Constraints |
133
click to vote
IFM
2009
Springer
15 years 9 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
147
click to vote
SOCO
2009
Springer
15 years 9 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
109
click to vote
MMSP
2008
IEEE
15 years 9 months ago
2008
IEEE
—Embedded speaker recognition in mobile devices could involve several ergonomic constraints and a limited amount of computing resources. Even if they have proved their efficienc...
132
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Layered hybrid controllers typically include a planner at the top level with reactive control at the lower levels. The planner considers the state of the robot in a global cont...
121
click to vote
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In many energy-rechargeable wireless sensor networks, sensor nodes must both sense data from the environment, and cooperatively forward sensed data to data sinks. Both ...