Sciweavers

5105 search results - page 11 / 1021
» Approximate Structural Consistency
Sort
View
ISSTA
2006
ACM
14 years 2 months ago
Inference and enforcement of data structure consistency specifications
Brian Demsky, Michael D. Ernst, Philip J. Guo, Ste...
CP
2008
Springer
13 years 10 months ago
Length-Lex Bounds Consistency for Knapsack Constraints
Recently, a new domain store for set-variables has been proposed which totally orders all values in the domain of a set-variable based on cardinality and lexicography. Traditionall...
Yuri Malitsky, Meinolf Sellmann, Willem Jan van Ho...
JACIII
2006
114views more  JACIII 2006»
13 years 8 months ago
A Theoretical Formulation of Object-Oriented Rough Set Models
ata forms, and abstract structural hierarchy based on is-a relationship and has-a relationship. Object structures illustrate many kinds of objects and actual dependence among objec...
Yasuo Kudo, Tetsuya Murai
COMGEO
2007
ACM
13 years 8 months ago
A package for exact kinetic data structures and sweepline algorithms
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
Daniel Russel, Menelaos I. Karavelas, Leonidas J. ...