13841 search results - page 25 / 2769 » Algorithms and Constraint Programming |
101
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Distributed Constraint Optimization (DCOP) provides a rich framework for modeling multi-agent coordination problems. Existing problem domains for DCOP focus on small (<100 vari...
99
Voted
CONSTRAINTS
2008
15 years 10 days ago
2008
111
click to vote
ICFP
2008
ACM
16 years 6 days ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
100
Voted
CORR
2010
Springer
15 years 11 days ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
DAC
2007
ACM
16 years 1 months ago
2007
ACM
The flip-chip package provides a high chip-density solution to the demand for more I/O pads of VLSI designs. In this paper, we present the first routing algorithm in the literatur...