Sciweavers

2765 search results - page 182 / 553
» Works and representation
Sort
View
DAGSTUHL
1998
15 years 8 months ago
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
Martin Odersky, Enno Runne, Philip Wadler
DLOG
1997
15 years 8 months ago
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
Volker Haarslev, Ralf Möller
IJCAI
1997
15 years 8 months ago
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results
The objective of this work is to interpret inductive results obtained by the unsupervised learning method OSHAM. We briefly introduce the learning process of OSHAM, that extracts ...
Tu Bao Ho, Chi Main Luong
CCIA
2009
Springer
15 years 8 months ago
Evaluation of the SIFT Object Recognition Method in Mobile Robots
General object recognition in mobile robots is of primary importance in order to enhance the representation of the environment that robots will use for their reasoning processes. T...
Arnau Ramisa, Shrihari Vasudevan, David Aldavert, ...
JAIR
2007
127views more  JAIR 2007»
15 years 6 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...