517 search results - page 93 / 104 » Computing Fuzzy Answer Sets Using dlvhex |
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
GCC
2004
Springer
14 years 3 months ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...
ICIP
2003
IEEE
14 years 3 months ago
2003
IEEE
We present a method for estimating the point of fixation of an air traffic controller from a low resolution video sequence. A geometric model of the head is used to estimate hea...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
OTM
2010
Springer
13 years 8 months ago
2010
Springer
The problem of polysemy involves having terms, such as “truck”, that refer to multiple concepts in different contexts; and conversely, having the same concept referred to with...