1912 search results - page 331 / 383 » On the evaluation of argumentation formalisms |
111
click to vote
CODES
2010
IEEE
14 years 9 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
106
click to vote
ECAI
2010
Springer
14 years 9 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
109
click to vote
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
107
click to vote
IDEAS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...