377 search results - page 70 / 76 » Towards Alternative Approaches to Reasoning About Goals |
AIPS
2008
14 years 21 days ago
2008
Flexible general purpose robots need to tailor their visual processing to their task, on the fly. We propose a new approach to this within a planning framework, where the goal is ...
CAV
2006
Springer
14 years 2 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
SENSYS
2009
ACM
14 years 5 months ago
2009
ACM
Energy in sensor networks is a distributed, non-transferable resource. Over time, differences in energy availability are likely to arise. Protocols like routing trees may concent...
BMCBI
2007
13 years 10 months ago
2007
Background: Transcriptional modules (TM) consist of groups of co-regulated genes and transcription factors (TF) regulating their expression. Two high-throughput (HT) experimental ...
TLDI
2009
ACM
14 years 7 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...