6894 search results - page 934 / 1379 » Generation Problems |
208
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
211
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: With the continued development of new computational tools for multiple sequence alignment, it is necessary today to develop benchmarks that aid the selection of the mo...
189
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: We propose a multiple sequence alignment (MSA) algorithm and compare the alignment-quality and execution-time of the proposed algorithm with that of existing algorithm...
201
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
165
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
We present a new rigging and skinning method which uses a database of partial rigs extracted from a set of source characters. Given a target mesh and a set of joint locations, our...