517 search results - page 93 / 104 » Computing Fuzzy Answer Sets Using dlvhex |
LICS
2008
IEEE
15 years 7 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...
100
click to vote
GCC
2004
Springer
15 years 6 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...
110
click to vote
ICIP
2003
IEEE
15 years 6 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...
96
Voted
ECAI
2006
Springer
15 years 4 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
14 years 11 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...