Sciweavers

2612 search results - page 287 / 523
» Switching Graphs and Their Complexity
Sort
View
GCB
2009
Springer
193views Biometrics» more  GCB 2009»
15 years 8 months ago
Integration and Visualisation of Multimodal Biological Data
: Understanding complex biological systems requires data from manifold biological levels. Often this data is analysed in some meaningful context, for example, by integrating it int...
Hendrik Rohn, Christian Klukas, Falk Schreiber
139
Voted
AI
2005
Springer
15 years 5 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf
CAD
2002
Springer
15 years 4 months ago
Surface flattening based on energy model
This paper presents a method for three-dimensional surface flattening, which can be efficiently used in threedimensional computer aided garment design. First, facet model is used ...
Charlie C. L. Wang, Shana S.-F. Smith, Matthew Min...
CN
2008
98views more  CN 2008»
15 years 5 months ago
Description and simulation of dynamic mobility networks
During the last decade, the study of large scale complex networks has attracted a substantial amount of attention and works from several domains: sociology, biology, computer scie...
Antoine Scherrer, Pierre Borgnat, Eric Fleury, Jea...
GECCO
2008
Springer
129views Optimization» more  GECCO 2008»
15 years 6 months ago
Fitness calculation approach for the switch-case construct in evolutionary testing
A well-designed fitness function is essential to the effectiveness and efficiency of evolutionary testing. Fitness function design has been researched extensively. For fitness ...
Yan Wang, Zhiwen Bai, Miao Zhang, Wen Du, Ying Qin...