2317 search results - page 358 / 464 » Model based testing for agent systems |
165
click to vote
MICAI
2010
Springer
15 years 1 months ago
2010
Springer
We present our experiments on Recognizing Textual Entailment based on modeling the entailment relation as a classification problem. As features used to classify the entailment pair...
141
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
119
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
125
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...
113
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
- This work aims to demonstrate the feasibility of using Electro-Rheological Fluid (ERF) actuators in orthotics, creating a new breed of rehabilitation devices. ERFs are fluids tha...