Sciweavers

5401 search results - page 450 / 1081
» Using Versions in GIS
Sort
View
190
Voted
IPPS
2006
IEEE
16 years 27 days ago
A parallel memetic algorithm applied to the total tardiness machine scheduling problem
This work proposes a parallel memetic algorithm applied to the total tardiness single machine scheduling problem. Classical models of parallel evolutionary algorithms and the gene...
Vinícius Garcia, Paulo M. França, Al...
IV
2006
IEEE
130views Visualization» more  IV 2006»
16 years 26 days ago
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürge...
156
Voted
ADBIS
2006
Springer
81views Database» more  ADBIS 2006»
16 years 26 days ago
Non-blocking Materialized View Creation and Transformation of Schemas
In existing systems, user transactions get blocked during materialized view creation and non-trivial database schema transformations. Blocking user transactions is not an option in...
Jørgen Løland, Svein-Olaf Hvasshovd
210
Voted
ACL2
2006
ACM
16 years 25 days ago
Double rewriting for equivalential reasoning in ACL2
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
Matt Kaufmann, J. Strother Moore
COMPGEOM
2006
ACM
16 years 25 days ago
Minimum weight triangulation is NP-hard
A triangulation of a planar point set S is a maximal plane straight-line graph with vertex set S. In the minimum weight triangulation (MWT) problem, we are looking for a triangula...
Wolfgang Mulzer, Günter Rote