Sciweavers

3058 search results - page 587 / 612
» From Intelligent Agents to Intelligent Beings
Sort
View
KI
2007
Springer
14 years 1 months ago
On Constructing a Communicative Space in HRI
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
Claudia Muhl, Yukie Nagai, Gerhard Sagerer
LPAR
2007
Springer
14 years 1 months ago
Verifying Cryptographic Protocols with Subterms Constraints
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
CIMCA
2006
IEEE
14 years 1 months ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
CIMCA
2005
IEEE
14 years 1 months ago
Cognitive Perception in RAFALE-SP Methodology
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
Nicolas Marilleau, Christophe Lang, Pascal Chatonn...
CIMCA
2005
IEEE
14 years 1 months ago
A Hybrid Estimation of Distribution Algorithm for the Minimal Switching Graph Problem
Minimal Switching Graph (MSG) is a graphical model for the constrained via minimization problem — a combinatorial optimization problem in integrated circuit design automation. F...
Maolin Tang, Raymond Y. K. Lau