Sciweavers

4524 search results - page 34 / 905
» The Complexity of Global Constraints
Sort
View
GCB
1997
Springer
74views Biometrics» more  GCB 1997»
15 years 4 months ago
Using constraint programming for lattice protein folding
We present a global search technique for nding the global minimal conformation of a sequence in Dill's HP-lattice model5;6 . The HP-lattice model is a simpli ed model of prot...
Rolf Backofen
89
Voted
CGF
2006
139views more  CGF 2006»
15 years 15 days ago
Pose Controlled Physically Based Motion
In this paper we describe a new method for generating and controlling physically-realistic motion of complex articulated characters. Our goal is to create motion from scratch, whe...
Raanan Fattal, Dani Lischinski
94
Voted
CP
2006
Springer
15 years 2 months ago
Graph Properties Based Filtering
Abstract. This report presents a generic filtering scheme, based on the graph description of global constraints. This description is defined by a network of binary constraints and ...
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...
91
Voted
TOG
2008
95views more  TOG 2008»
15 years 10 days ago
Spectral quadrangulation with orientation and alignment control
This paper presents a new quadrangulation algorithm, extending the spectral surface quadrangulation approach where the coarse quadrangular structure is derived from the Morse-Smal...
Jin Huang, Muyang Zhang, Jin Ma, Xinguo Liu, Leif ...
SAT
2004
Springer
90views Hardware» more  SAT 2004»
15 years 5 months ago
Encoding Global Unobservability for Efficient Translation to SAT
The paper studies the use of global unobservability constraints in a CNF translation of Boolean formulas, where the unobservability of logic blocks is encoded with CNF unobservabil...
Miroslav N. Velev