Sciweavers

2916 search results - page 95 / 584
» Generating Rule Sets from Model Trees
Sort
View
132
Voted
ICTAC
2004
Springer
15 years 9 months ago
Minimal Spanning Set for Coverage Testing of Interactive Systems
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
Fevzi Belli, Christof J. Budnik
ICPR
2006
IEEE
15 years 9 months ago
Optimal Global Mosaic Generation from Retinal Images
We present a method to construct a mosaic from multiple color and fluorescein retinal images. A set of images taken from different views at different times is difficult to registe...
Tae Eun Choe, Isaac Cohen, Mun Wai Lee, Gér...
ICALP
1998
Springer
15 years 8 months ago
Constraint Automata and the Complexity of Recursive Subtype Entailment
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
Fritz Henglein, Jakob Rehof
SEMWEB
2005
Springer
15 years 9 months ago
Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
Herman J. ter Horst
AFRIGRAPH
2006
ACM
15 years 9 months ago
Compression of dense and regular point clouds
We present a simple technique for single-rate compression of point clouds sampled from a surface, based on a spanning tree of the points. Unlike previous methods, we predict futur...
Bruce Merry, Patrick Marais, James E. Gain