Sciweavers

517 search results - page 93 / 104
» Computing Fuzzy Answer Sets Using dlvhex
Sort
View
148
Voted
LICS
2008
IEEE
16 years 22 days ago
From Automatic Structures to Borel Structures
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...
Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalb...
164
Voted
GCC
2004
Springer
15 years 11 months ago
A Software Engineering Perspective for Services Security
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...
Jun Han
ICIP
2003
IEEE
15 years 11 months ago
Model-based head pose estimation for air-traffic controllers
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...
Xavier L. C. Brolly, Constantinos Stratelos, Jeffr...
144
Voted
ECAI
2006
Springer
15 years 10 months ago
Resolving Conflicts in Action Descriptions
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...
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
137
Voted
OTM
2010
Springer
15 years 4 months ago
A Context-Based Model for the Interpretation of Polysemous Terms
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...
Chrisa Tsinaraki, Yannis Velegrakis, Nadzeya Kiyav...