Sciweavers

6943 search results - page 1049 / 1389
» Representations for evolutionary algorithms
Sort
View
CSCLP
2003
Springer
15 years 12 months ago
Clustering for Disconnected Solution Sets of Numerical CSPs
This paper considers the issue of postprocessing the output of interval-based solvers for further exploitations when solving numerical CSPs with continuum of solutions. Most interv...
Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings
ICCS
2003
Springer
15 years 12 months ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 12 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
COMPGEOM
2010
ACM
15 years 12 months ago
Lines avoiding balls in three dimensions revisited
Let B be a collection of n arbitrary balls in R3 . We establish an almost-tight upper bound of O(n3+ε ), for any ε > 0, on the complexity of the space F(B) of all the lines t...
Natan Rubin
3DPVT
2002
IEEE
184views Visualization» more  3DPVT 2002»
15 years 11 months ago
From 3D Shape Capture to Animated Models
This paper presents a framework for construction of animated models from captured surface shape of real objects. Algorithms are introduced to transform the captured surface shape ...
Adrian Hilton, Jonathan Starck, Gordon Collins
« Prev « First page 1049 / 1389 Last » Next »