790 search results - page 125 / 158 » Subexponential Parameterized Algorithms |
112
Voted
JIIS
2007
15 years 2 months ago
2007
The Internet has instigated a critical need for automated tools that facilitate integrating countless databases. Since non-technical end users are often the ultimate repositories ...
128
click to vote
TSP
2008
15 years 2 months ago
2008
Sparse signal representations and approximations from overcomplete dictionaries have become an invaluable tool recently. In this paper, we develop a new, heuristic, graph-structure...
127
click to vote
COMCOM
2004
15 years 2 months ago
2004
This article proposes the XGOP-B deterministic traffic model for MPEG video services requiring strict bounds on the quality of service provided by the network. The XGOP-B model ta...
143
Voted
FMSD
2002
15 years 2 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
121
Voted
JFP
2008
15 years 1 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...