Sciweavers

2767 search results - page 208 / 554
» Universal Exponentiation Algorithm
Sort
View
149
Voted
SAS
2010
Springer
175views Formal Methods» more  SAS 2010»
15 years 4 months ago
Thread-Modular Counterexample-Guided Abstraction Refinement
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
Alexander Malkis, Andreas Podelski, Andrey Rybalch...
CVPR
2009
IEEE
17 years 1 months ago
Continuous Ratio Optimization via Convex Relaxation with Applications to Multiview 3D Reconstruction
We introduce a convex relaxation framework to optimally minimize continuous surface ratios. The key idea is to minimize the continuous surface ratio by solving a sequence of con...
Kalin Kolev (University of Bonn), Daniel Cremers (...
IPPS
2007
IEEE
16 years 20 days ago
Parallel Tabu Search and the Multiobjective Vehicle Routing Problem with Time Windows
Abstract—In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with Time Windows (CV...
Andreas Beham
HPCS
2006
IEEE
16 years 12 days ago
Simulations of Disordered Bosons on Hyper-Cubic Lattices
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
Peter Hitchcock, Erik S. Sørensen
ATAL
2004
Springer
15 years 11 months ago
Effectiveness of Query Types and Policies for Preference Elicitation in Combinatorial Auctions
Combinatorial auctions, where agents can bid on bundles of items (resources, tasks, etc.), are desirable because the agents can express complementarity and substitutability among ...
Benoît Hudson, Tuomas Sandholm