13336 search results - page 650 / 2668 » Computer Vision: Algorithms and Applications |
180
click to vote
COCOA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper proposes a method to compute the transitive closure of a union of affine relations on integer tuples. Within Presburger arithmetics, complete algorithms to com...
167
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
173
Voted
ICPP
2005
IEEE
16 years 1 months ago
2005
IEEE
The Cosmic Microwave Background (CMB) is an exquisitely sensitive probe of the fundamental parameters of cosmology. Extracting this information is computationally intensive, requi...
235
click to vote
ASP
2001
Springer
15 years 12 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
206
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents an eco-friendly daemon that reduces power and energy consumption while better maintaining high performance via an accurate workload characterization that infer...