1146 search results - page 76 / 230 » Evaluation of modeling techniques for agent-based systems |
LREC
2010
14 years 11 months ago
2010
Within the EU-funded COMPANIONS project, we are working to evaluate new collaborative conversational models of dialogue. Such an evaluation requires us to benchmark approaches to ...
108
click to vote
AAAI
2008
15 years 3 days ago
2008
My thesis aims to contribute towards building autonomous agents that are able to understand their surrounding environment through the use of both audio and visual information. To ...
136
click to vote
BIOWIRE
2007
Springer
15 years 4 months ago
2007
Springer
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...