4524 search results - page 151 / 905 » The Complexity of Global Constraints |
131
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
The transfer of entire projects to offshore locations, the aging and renewal of core developers in legacy products, the recruiting in fast growing Internet companies, and the part...
97
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
101
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
115
Voted
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
Complex systems are those systems composed of many, often very simple, interacting autonomous entities. Interactions between these entities give rise to behaviour and patterns at t...
89
Voted
COMPLEX
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the nonequilibrium phenomena of a coupled active rotator model in complex networks. From a numerical Langevin simulation, we find the peculiar phase transition ...