780 search results - page 91 / 156 » Compositional Quantitative Reasoning |
92
Voted
NMR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, a possible worlds framework for representing general belief change operators is presented. In common with many approaches, an agent’s set of beliefs are specifie...
106
Voted
ROBVIS
2001
Springer
15 years 5 months ago
2001
Springer
One of the reasons for organizing robotic games is that they allow researchers to evaluate their systems and approaches on a level playing field. This evaluation is important in a...
94
Voted
TSD
2001
Springer
15 years 5 months ago
2001
Springer
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...
111
Voted
AI50
2006
15 years 4 months ago
2006
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...
106
Voted
BMVC
2002
15 years 3 months ago
2002
The fusion of images is the process of combining two or more images into a single image retaining important features from each. Fusion is an important technique within many dispar...