Sciweavers

1419 search results - page 88 / 284
» A Characterization of Constructive Dimension
Sort
View
ATAL
2005
Springer
15 years 10 months ago
A negotiation model for autonomous agents: key features and comparison with existing models
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
Fernando Lopes, Augusto Q. Novais, Nuno J. Mamede,...
ATAL
2005
Springer
15 years 10 months ago
Design and evaluation of expressive gesture synthesis for embodied conversational agents
To increase the believability and life-likeness of Embodied Conversational Agents (ECAs), we introduce a behavior synthesis technique for the generation of expressive gesturing. A...
Björn Hartmann, Maurizio Mancini, Stép...
HYBRID
2004
Springer
15 years 9 months ago
Bisimulation of Dynamical Systems
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
A. J. van der Schaft
ISAS
2004
Springer
15 years 9 months ago
Architecture of Highly Available Databases
This paper describes the architectures that can be used to build highly available database management systems. We describe these architectures along two dimensions – process redu...
Sam Drake, Wei Hu, Dale M. McInnis, Martin Skö...
ILP
2003
Springer
15 years 9 months ago
Complexity Parameters for First-Order Classes
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
Marta Arias, Roni Khardon