Sciweavers

790 search results - page 157 / 158
» Subexponential Parameterized Algorithms
Sort
View
ASE
2007
143views more  ASE 2007»
13 years 11 months ago
Composition inference for UML class diagrams
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
Ana Milanova
CGF
2010
106views more  CGF 2010»
13 years 11 months ago
Invisible Seams
Surface materials are commonly described by attributes stored in textures (for instance, color, normal, or displacement). Interpolation during texture lookup provides a continuous...
Nicolas Ray, Vincent Nivoliers, Sylvain Lefebvre, ...
VLDB
2002
ACM
108views Database» more  VLDB 2002»
13 years 10 months ago
Generic Database Cost Models for Hierarchical Memory Systems
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...
Stefan Manegold, Peter A. Boncz, Martin L. Kersten
JUCS
2010
117views more  JUCS 2010»
13 years 9 months ago
NP-completeness and FPT Results for Rectilinear Covering Problems
Abstract: This paper discusses three rectilinear (that is, axis-parallel) covering problems in d dimensions and their variants. The first problem is the Rectilinear Line Cover whe...
Vladimir Estivill-Castro, Apichat Heednacram, Fran...
CORR
2011
Springer
176views Education» more  CORR 2011»
13 years 5 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...