Sciweavers

2972 search results - page 315 / 595
» Representing the Knowledge of a Robot
Sort
View
AGI
2011
14 years 10 months ago
Real-World Limits to Algorithmic Intelligence
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
Leo Pape, Arthur Kok
INFOCOM
2011
IEEE
14 years 10 months ago
Connectivity maintenance in mobile wireless networks via constrained mobility
—We explore distributed mechanisms for maintaining the physical layer connectivity of a mobile wireless network while still permitting significant area coverage. Moreover, we re...
Joshua Reich, Vishal Misra, Dan Rubenstein, Gil Zu...
FROCOS
2009
Springer
16 years 1 months ago
Taming the Complexity of Temporal Epistemic Reasoning
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
Clare Dixon, Michael Fisher, Boris Konev
BIBE
2007
IEEE
214views Bioinformatics» more  BIBE 2007»
16 years 1 months ago
Histogram Transformation for Inter-Modality Image Registration
Abstract—This paper describes an efficient image transformation method based on histogram information and some prior knowledge of tissue expression in different modalities for r...
Joerg Meyer
GI
2007
Springer
16 years 27 days ago
Ontology Based Data Validation and Cleaning: Restructuring Operations for Ontology Maintenance
: Data validation and cleaning are integral processes of the data quality management cycle. Domain specific knowledge is needed to detect and correct semantic errors. Ontologies c...
Stefan Brüggemann, Thomas Aden