1331 search results - page 168 / 267 » Complexity bounds for zero-test algorithms |
120
click to vote
SAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
141
click to vote
COMPGEOM
2003
ACM
15 years 8 months ago
2003
ACM
We address the problem of curvature estimation from sampled smooth surfaces. Building upon the theory of normal cycles, we derive a definition of the curvature tensor for polyhed...
129
Voted
ICDT
2003
ACM
15 years 8 months ago
2003
ACM
We state and solve the query reformulation problem for XML publishing in a general setting that allows mixed (XML and relational) storage for the proprietary data and exploits redu...
138
click to vote
ECRTS
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper targets energy-efficient scheduling of tasks over multiple processors, where tasks share a common deadline. Distinct from many research results on heuristics-based ener...
141
click to vote
UAI
2008
15 years 4 months ago
2008
Continuous state spaces and stochastic, switching dynamics characterize a number of rich, realworld domains, such as robot navigation across varying terrain. We describe a reinfor...