4224 search results - page 332 / 845 » Reasoning about Choice |
183
Voted
OOPSLA
2009
Springer
16 years 2 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
188
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
209
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
225
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Communication delay is a key source of uncertainty in distributed systems. Existing approaches to reduce this uncertainty focus on maintaining sufficient surplus bandwidth; appli...
211
Voted
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present an approach to motion planning for highly articulated systems that aims to ensure robust execution by augmenting the planning process to reason about the robot’s a...