Sciweavers

8413 search results - page 247 / 1683
» Ordering Problem Subgoals
Sort
View
WWW
2011
ACM
14 years 7 months ago
Choreography conformance via synchronizability
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
Samik Basu, Tevfik Bultan
MP
2010
163views more  MP 2010»
14 years 7 months ago
Speeding up IP-based algorithms for constrained quadratic 0-1 optimization
In many practical applications, the task is to optimize a non-linear objective function over the vertices of a well-studied polytope as, e.g., the matching polytope or the travelli...
Christoph Buchheim, Frauke Liers, Marcus Oswald
115
Voted
SIAMIS
2010
167views more  SIAMIS 2010»
14 years 7 months ago
Global Solutions of Variational Models with Convex Regularization
Abstract. We propose an algorithmic framework for computing global solutions of variational models with convex regularity terms that permit quite arbitrary data terms. While the mi...
Thomas Pock, Daniel Cremers, Horst Bischof, Antoni...
118
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Azimuth-elevation direction finding using power measurements from single antenna
This paper considers the problem of extending the single antenna power measurements based direction finding to the two-dimensional (2D) case, and proposes a method to estimate th...
Joni Polili Lie, Thierry Blu, Chong Meng Samson Se...
ECAI
1994
Springer
15 years 5 months ago
The SAT Phase Transition
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consi...
Ian P. Gent, Toby Walsh