16216 search results - page 230 / 3244 » Effective Modeling with Constraints |
166
click to vote
WSCG
2004
15 years 8 months ago
2004
This paper proposes a novel genetic quantum algorithm (GQA) to solve geometric constraint problems. Instead of binary, numeric or symbolic representation, we introduce qubit chrom...
160
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
Camera control techniques for Interactive Digital Entertainment (IDE) are reaching their limits in terms of capabilities. To enable future growth, new methods must be derived to a...
171
click to vote
ISCAS
2011
IEEE
14 years 10 months ago
2011
IEEE
—Video enhancement has played very important roles in many applications. However, most existing enhancement methods only focus on the spatial quality within a frame while the tem...
227
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
209
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present an active geodesic contour model in which we constrain the evolving active contour to be a geodesic with respect to a weighted edge-based energy through its entire evol...