Sciweavers

260 search results - page 25 / 52
» Hardness of Parameterized Resolution
Sort
View
KBSE
2010
IEEE
13 years 6 months ago
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
The installation of software packages depends on the correct resolution of dependencies and conflicts between packages. This problem is NP-complete and, as expected, is a hard ta...
Paulo Trezentos, Inês Lynce, Arlindo L. Oliv...
TOG
2002
212views more  TOG 2002»
13 years 7 months ago
Least squares conformal maps for automatic texture atlas generation
A Texture Atlas is an efficient color representation for 3D Paint Systems. The model to be textured is decomposed into charts homeomorphic to discs, each chart is parameterized, a...
Bruno Lévy, Sylvain Petitjean, Nicolas Ray,...
VISSYM
2004
13 years 9 months ago
Occlusion Culling for Sub-Surface Models in Geo-Scientific Applications
We present a three pass occlusion culling algorithm, which makes efficient use of hardware support. Our geo-scientific sub-surface data sets consist typically of a set of high res...
John Plate, Anselm Grundhöfer, Benjamin Schmi...
POPL
2003
ACM
14 years 8 months ago
A real-time garbage collector with low overhead and consistent utilization
Now that the use of garbage collection in languages like Java is becoming widely accepted due to the safety and software engineering benefits it provides, there is significant int...
David F. Bacon, Perry Cheng, V. T. Rajan
LCN
2007
IEEE
14 years 2 months ago
Sensor Networking in Aquatic Environments - Experiences and New Challenges
Abstract—In this paper we present the design and implementation of a small-scale marine sensor network. The network monitors the temperature in the Baltic Sea on different height...
Thiemo Voigt, Fredrik Österlind, Niclas Finne...