1214 search results - page 91 / 243 » Generalized Multi-sensor Planning |
151
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
88
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
For robots to become prevalent in human environments, the robots need to be able to perform complex tasks often involving sequential repetition of actions. In this work, we presen...
123
Voted
AAAI
2006
15 years 2 months ago
2006
We discuss the problem of finding a good state representation in stochastic systems with observations. We develop a duality theory that generalizes existing work in predictive sta...
99
Voted
ISPW
2010
IEEE
15 years 5 months ago
2010
IEEE
Software Factories pose a paradigm shift that promises to turn application assembly more cost eective through systematic reuse. These advances in software industrialization have h...
126
Voted
IPSN
2010
Springer
14 years 10 months ago
2010
Springer
Traffic patterns in manufacturing machines exhibit strong temporal correlations due to the underlying repetitive nature of their operations. A MAC protocol can potentially learn t...