Sciweavers

2338 search results - page 24 / 468
» Separation in Theory - Coordination in Practice
Sort
View
KR
2000
Springer
14 years 13 days ago
Reasoning with Axioms: Theory and Practice
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Ian Horrocks, Stephan Tobies
AAAI
2008
13 years 11 months ago
Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application Study
With the aim of fluency and efficiency in human-robot teams, we have developed a cognitive architecture based on the neuro-psychological principles of anticipation and perceptual ...
Guy Hoffman, Cynthia Breazeal
CMG
2008
13 years 10 months ago
Green Capacity Planning: Theory and Practice
Amy C. Spellmann, Richard L. Gimarc, Charles Gimar...
AAAI
2006
13 years 10 months ago
Local Negotiation in Cellular Networks: From Theory to Practice
This paper describes a novel negotiation protocol for cellular networks, which intelligently improves the performance of the network. Our proposed reactive mechanism enables the d...
Raz Lin, Daphna Dor-Shifer, Sarit Kraus, David Sar...