Sciweavers

2439 search results - page 340 / 488
» Learning to Coordinate Behaviors
Sort
View
WETICE
1998
IEEE
15 years 11 months ago
Using Components for Modeling Intelligent and Collaborative Mobile Agents
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
Min-Jung Woo, Jean-Pierre Briot, Jacques Ferber
191
Voted
HT
1998
ACM
15 years 11 months ago
XHMBS: A Formal Model to Support Hypermedia Specification
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
Fabiano Borges Paulo, Marcelo Augusto Santos Turin...
ATAL
2007
Springer
15 years 11 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
FOSSACS
2009
Springer
15 years 11 months ago
On Omega-Languages Defined by Mean-Payoff Conditions
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weis...
ICASSP
2007
IEEE
15 years 11 months ago
Relevance Network Modeling for Muscle Association Pattern in Reaching Movements
Our purpose is to study how different muscles collaborate together to efficiently create a smooth, coordinated reaching movement. In the EMG literature, it has been commonplace to...
Z. Jane Wang, Martin J. McKeown