1073 search results - page 100 / 215 » Reasoning about Continuous Processes |
133
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
A helicopter agent has to plan trajectories to track multiple ground targets from the air. The agent has partial information of each target's pose, and must reason about its u...
169
Voted
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
101
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
As the size and popularity of computer clusters go on growing, fault tolerance is becoming a crucial factor to ensure high performance and reliability for applications. To provide...
125
click to vote
AGILEDC
2005
IEEE
15 years 9 months ago
2005
IEEE
It is a significant challenge to implement and research agile software development methods in organizations such as the army. Since it differs from organizations in the industry a...
111
Voted
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The complex interactions of natural swarms, for example formed by some social insects, are difficult to comprehend. Considering tasks such as nestbuilding, the necessary underlyin...