13090 search results - page 2213 / 2618 » Usable artificial intelligence |
191
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
183
click to vote
ICAISC
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a new implementation of the co-VAT algorithm. We assume we have an m × n matrix D, where the elements of D are pair-wise dissimilarities between m row objects ...
168
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
A generic and extendible Multi-Agent Data Mining (MADM) framework, EMADS (the Extendible Multi-Agent Data mining System) is described. The central feature of the framework is that ...
208
click to vote
APN
2001
Springer
15 years 11 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
182
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper contains an experimental study of the impact of the construction strategy of reduced, ordered binary decision diagrams (ROBDDs) on the average-case computation...