Sciweavers

8501 search results - page 86 / 1701
» Reactive process networks
Sort
View
AAAI
1998
13 years 11 months ago
Emotion Model for Life-Like Agent and Its Evaluation
This paper proposes an emotion model for life-like agents with emotions and motivations. This model consists of reactive and deliberative mechanisms. The former generates low-leve...
Hirohide Ushida, Yuji Hirayama, Hiroshi Nakajima
IJCAI
1997
13 years 11 months ago
High Performance ATP Systems by Combining Several AI Methods
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
ENTCS
2010
99views more  ENTCS 2010»
13 years 10 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
JCC
2007
76views more  JCC 2007»
13 years 10 months ago
Valence bond theory for chemical dynamics
: This essay provides a perspective on several issues in valence bond theory: the physical significance of semilocal bonding orbitals, the capability of valence bond concepts to e...
Donald G. Truhlar
MATA
2001
Springer
158views Communications» more  MATA 2001»
14 years 2 months ago
Network Processing of Mobile Agents, by Mobile Agents, for Mobile Agents
This paper presents a framework for building network protocols for migrating mobile agents over a network. The framework allows network protocols for agent migration to be naturall...
Ichiro Satoh