1006 search results - page 54 / 202 » Generating XML structure using examples and constraints |
CCL
1994
Springer
15 years 1 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
SIGGRAPH
2010
ACM
15 years 2 months ago
2010
ACM
Example-based texture synthesis algorithms generate novel texture images from example data. A popular hierarchical pixel-based approach uses spatial jitter to introduce diversity,...
92
Voted
CSL
2010
Springer
14 years 10 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
EOR
2008
14 years 9 months ago
2008
Consider a problem of minimizing a separable, strictly convex, monotone and differentiable function on a convex polyhedron generated by a system of m linear inequalities. The probl...