1802 search results - page 142 / 361 » Model-based Theory Combination |
RTA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
In the modern world mobile robots are being utilized for many tasks that are either hazardous or unpleasant for human beings. The potential of robots to assume such tasks hinges o...
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
PLILP
1998
Springer
14 years 1 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
ISER
2000
Springer
14 years 1 months ago
2000
Springer
: A framework for underwater navigation by combining raw information from different sensors into a single scene description is presented. It is shown that features extracted from s...