10907 search results - page 1843 / 2182 » Constraint Based Strategies |
189
click to vote
MIRAGE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We describe an algorithm for fitting a Catmull-Clark subdivision surface model to an unstructured, incomplete and noisy data set. We complete the large missing data regi...
163
click to vote
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
184
click to vote
MTSR
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...
153
click to vote
ROBOCUP
2007
Springer
16 years 26 days ago
2007
Springer
On the way to the big goal - the game against the human world champion on a real soccer field - the configuration of the soccer fields in RoboCup has changed during the last yea...
187
click to vote
SAT
2007
Springer
16 years 26 days ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...