2478 search results - page 270 / 496 » Quadtrees as an Abstract Domain |
182
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Being able to predict the performance of a Case-Based Reasoning(CBR) system against a set of future problems would provide invaluable information for design and maintenan...
191
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
195
click to vote
ADMI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...
188
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
154
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...