Sciweavers

16216 search results - page 59 / 3244
» Effective Modeling with Constraints
Sort
View
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 8 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...
ICDE
1989
IEEE
55views Database» more  ICDE 1989»
15 years 8 months ago
Modeling Semantic Constraints with Logic in the EARL Data Model
James P. Davis, Ronald D. Bonnell
WEBI
2001
Springer
15 years 8 months ago
A Data Model for XML Databases
In the proposed data model for XML databases, an XML element is directly represented as a ground (variable-free) XML expression—a generalization of an XML element by incorporatio...
Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya...
GMP
2006
IEEE
15 years 10 months ago
Simultaneous Precise Solutions to the Visibility Problem of Sculptured Models
Abstract. We present an efficient and robust algorithm for computing continuous visibility for two- or three-dimensional shapes whose boundaries are NURBS curves or surfaces by li...
Joon-Kyung Seong, Gershon Elber, Elaine Cohen
IAT
2009
IEEE
15 years 10 months ago
Clustering with Constrained Similarity Learning
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...
Masayuki Okabe, Seiji Yamada