Sciweavers

6388 search results - page 805 / 1278
» Knowledge and Information
Sort
View
ATAL
2008
Springer
15 years 9 months ago
Verifying time, memory and communication bounds in systems of reasoning agents
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where t...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
ERCIMDL
2007
Springer
113views Education» more  ERCIMDL 2007»
15 years 8 months ago
Providing Context-Sensitive Access to the Earth Observation Product Library
The German Remote Sensing Data Center (DFD) has developed a digital library for the long-term management of earth observation data products. This Product Library is a central part ...
Stephan Kiemle, Burkhard Freitag
CSCW
2008
ACM
15 years 8 months ago
Enhancing collaborative web search with personalization: groupization, smart splitting, and group hit-highlighting
Collaboration on Web search is common in many domains, such as education and knowledge work; recently, HCI researchers have begun to introduce prototype collaborative search tools...
Meredith Ringel Morris, Jaime Teevan, Steve Bush
ECAI
2008
Springer
15 years 8 months ago
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
Anbu Yue, Weiru Liu
EUROS
2008
113views Robotics» more  EUROS 2008»
15 years 8 months ago
Measuring Motion Expressiveness in Wheeled Mobile Robots
This paper addresses the measurement of motion expressiveness in wheeled mobile robots. A neural network based supervised learning strategy is proposed as a method to fuse informat...
João Sequeira