Sciweavers

265 search results - page 34 / 53
» Perceptual Reasoning: A New Computing with Words Engine
Sort
View
IVA
2010
Springer
13 years 6 months ago
Smart Events and Primed Agents
We describe a new organization for virtual human responses to dynamically occurring events. In our approach behavioral responses are enumerated in the representation of the event i...
Catherine Stocker, Libo Sun, Pengfei Huang, Wenhu ...
CSL
2006
Springer
13 years 11 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser
LPNMR
2009
Springer
14 years 2 months ago
Translating Preferred Answer Set Programs to Propositional Logic
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
Vernon Asuncion, Yan Zhang
AINA
2005
IEEE
14 years 1 months ago
Design and Implementation of IPv6 Anycast Routing Protocol: PIA-SM
Today, the use of anycast address is quite limited. One of the reasons is because there is no routing protocol providing a global anycasting service. In this paper we design and im...
Satoshi Matsunaga, Shingo Ata, Hiroshi Kitamura, M...
ICDCS
1990
IEEE
13 years 11 months ago
Implementing Fault-Tolerant Distributed Applications
This paper develops some control structures suitable for composing fault-tolerant distrib uted applications using atomic actions (atomic transactions) as building blocks, and then...
Santosh K. Shrivastava, Stuart M. Wheater