3233 search results - page 132 / 647 » Validation Method for Intelligent Systems |
103
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
The paper presents a method to integrate parallelism in the DIPLIB sequential image processing library. The library contains several framework functions for di erent types of opera...
115
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
129
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
The goal of this paper is to explore the effects of synchronization on distributed decision making processes. In particular, we examine the dynamics of a spatially distributed mul...
124
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
121
click to vote
KDD
1997
ACM
15 years 7 months ago
1997
ACM
In Wirth t Reinartz (1996), we introduced the early indicator method, a multi-strategy approach for the efficient prediction of various aspectsof the fault profile of a set of car...