3758 search results - page 251 / 752 » A Complete Subsumption Algorithm |
149
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
151
Voted
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
142
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we introduce algorithms to voxelize polygonal meshes in common sampling lattices. In the case of Cartesian lattices, we complete the separability and minimality proo...
147
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
Discovering association rules is one of the important tasks in data mining. While most of the existing algorithms are developed for efficient mining of frequent patterns, it has be...
164
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...