Sciweavers

13090 search results - page 2447 / 2618
» Usable artificial intelligence
Sort
View
220
Voted
AGP
2003
IEEE
16 years 10 days ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
186
Voted
AGP
2003
IEEE
16 years 10 days ago
Ordered Programs as Abductive Systems
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
Davy Van Nieuwenborgh, Dirk Vermeir
153
Voted
ICAT
2003
IEEE
16 years 10 days ago
i-ball 2: An Interaction Platform with a Crystal-Ball-Like Display for Multiple Users
The authors’ aim in this work is to develop an easy-to-use computer-human interaction (CHI) platform. In this paper, i-ball 2 (interactive/information ball 2) is introduced as a...
Keita Ushida, Hiroshi Harashima, Jun Ishikawa
189
Voted
ICAT
2003
IEEE
16 years 10 days ago
A Formalism and a Tool for Diverging Requirements in VR Scenario Modeling
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
Richard Wages, Benno Grützmacher, Georg Troge...
151
Voted
ICAT
2003
IEEE
16 years 10 days ago
Hierarchical QoS Architecture for Networked Virtual Dancing Environment
In this paper, we present the hierarchical QoS architecture for the virtual dancing environment. In this system, geographically distributed users share the virtual dancing hall an...
Jin Ryong Kim, Youjip Won, Beomeun Kim
« Prev « First page 2447 / 2618 Last » Next »