3573 search results - page 242 / 715 » Reasoning about Codata |
142
click to vote
ECRTS
2007
IEEE
15 years 10 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...
148
click to vote
IPPS
2007
IEEE
15 years 10 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...
145
click to vote
IROS
2007
IEEE
15 years 10 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...
114
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
145
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....