Sciweavers

1006 search results - page 58 / 202
» Generating XML structure using examples and constraints
Sort
View
133
Voted
VLDB
2008
ACM
99views Database» more  VLDB 2008»
15 years 10 months ago
Model-independent schema translation
We discuss a proposal for the implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from object-oriented to SQL ...
Paolo Atzeni, Paolo Cappellari, Riccardo Torlone, ...
72
Voted
ICCV
2007
IEEE
15 years 11 months ago
A Symmetry-Based Generative Model for Shape
We propose a novel generative language for shape that is based on the shock graph: given a shock graph topology, we explore constraints on the geometry and dynamics of the shock g...
Nhon H. Trinh, Benjamin B. Kimia
51
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
Precise Service Level Agreements
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
James Skene, D. Davide Lamanna, Wolfgang Emmerich
CPAIOR
2010
Springer
14 years 7 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
BMCBI
2010
116views more  BMCBI 2010»
14 years 9 months ago
A hybrid approach to protein folding problem integrating constraint programming with local search
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...
Abu Zafer M. Dayem Ullah, Kathleen Steinhöfel