1331 search results - page 168 / 267 » Complexity bounds for zero-test algorithms |
144
click to vote
SAS
2005
Springer
15 years 11 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...
186
click to vote
COMPGEOM
2003
ACM
15 years 11 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...
181
click to vote
ICDT
2003
ACM
15 years 11 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...
176
click to vote
ECRTS
2004
IEEE
15 years 10 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...
191
click to vote
UAI
2008
15 years 7 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...