Sciweavers

3233 search results - page 119 / 647
» Validation Method for Intelligent Systems
Sort
View
AI
1998
Springer
15 years 3 months ago
Methods for Task Allocation via Agent Coalition Formation
Task execution in multi-agent environments may require cooperation among agents. Given a set of agents and a set of tasks which they have to satisfy, we consider situations where ...
Onn Shehory, Sarit Kraus
AOSE
2004
Springer
15 years 8 months ago
A Formal Approach to Design and Reuse Agent and Multiagent Models
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
Vincent Hilaire, Olivier Simonin, Abder Koukam, Ja...
122
Voted
MICRO
2008
IEEE
137views Hardware» more  MICRO 2008»
15 years 3 months ago
Verification of chip multiprocessor memory systems using a relaxed scoreboard
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
Ofer Shacham, Megan Wachs, Alex Solomatnikov, Amin...
101
Voted
ICEIS
2002
IEEE
15 years 8 months ago
The AEX Method and Its Instrumentation
: We aim at elaborating a decision support system to manage concrete experience, using Artificial Intelligence methods, such as Case-Based Reasoning. We target any organization tha...
Sabine Delaître, Alain Giboin, Sabine Moisan
JCIT
2008
150views more  JCIT 2008»
15 years 3 months ago
Affective Space Calibration in Action-rich Media Affective Systems
Affective computing systems are software systems that take in account the emotional state of the user during their operation. Recently it is increasingly accepted that combining e...
Anestis A. Toptsis, Alexander Dubitski