4902 search results - page 902 / 981 » Multi-agent Systems Methodology |
147
click to vote
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
162
click to vote
SCA
2007
15 years 6 months ago
2007
In this paper, we present an intuitive interface for interactively posing 3D facial expressions. The user can create and edit facial expressions by drawing freeform strokes, or by...
173
click to vote
AAAI
2007
15 years 6 months ago
2007
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
154
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...
145
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...