488 search results - page 44 / 98 » Weighted Logics for Traces |
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
100
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
123
click to vote
TABLEAUX
2005
Springer
15 years 5 months ago
2005
Springer
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
100
click to vote
TLCA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
190
click to vote
AWCC
2004
Springer
15 years 5 months ago
2004
Springer
This paper imports the fuzzy logic into image retrieval to deal with the vagueness and ambiguity of human judgment of image similarity. Our retrieval system has the following prop...