156 search results - page 23 / 32 » Another Complete Local Search Method for SAT |
EC
2012
12 years 3 months ago
2012
In a multimodal optimization task, the main purpose is to find multiple optimal solutions (global and local), so that the user can have a better knowledge about different optima...
NAR
2007
13 years 7 months ago
2007
COMPASS is a method for homology detection and local alignment construction based on the comparison of multiple sequence alignments (MSAs). The method derives numerical profiles f...
NAR
2011
12 years 10 months ago
2011
P2CS (http://www.p2cs.org) is a specialized database for prokaryotic two-component systems (TCSs), virtually ubiquitous signalling proteins which regulate a wide range of physiolo...
BCSHCI
2007
13 years 9 months ago
2007
An experimental validation is presented of a novel method for usability testing that entails the playback of dynamic eyetracking data to cue the elicitation of retrospective verba...
TVCG
2011
13 years 2 months ago
2011
—This paper describes a complete system to create anatomically accurate example-based volume deformation and animation of articulated body regions, starting from multiple in vivo...