Sciweavers

8501 search results - page 86 / 1701
» Reactive process networks
Sort
View
100
Voted
AAAI
1998
15 years 3 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
15 years 3 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»
15 years 2 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»
15 years 2 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
124
Voted
MATA
2001
Springer
158views Communications» more  MATA 2001»
15 years 7 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