580 search results - page 72 / 116 » Approximation Algorithms for Temporal Reasoning |
106
Voted
ESA
2008
Springer
15 years 4 months ago
2008
Springer
The focus is on black-box optimization of a function f : RN R given as a black box, i. e. an oracle for f-evaluations. This is commonly called direct search, and in fact, most meth...
134
click to vote
LPAR
2010
Springer
15 years 11 days ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
105
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
Practical approaches for on-chip inductance extraction to obtain a sparse, stable and accurate inverse inductance matrix K are proposed. The novelty of our work is in using circui...
84
Voted
ISAAC
2007
Springer
15 years 8 months ago
2007
Springer
This paper studies to which extent the social welfare of a game can be influenced by an interested third party within economic reason, i.e., by taking the implementation cost into...
123
Voted
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we propose a symmetric stereo model to handle occlusion in dense two-frame stereo. Our occlusion reasoning is directly based on the visibility constraint that is mo...