365 search results - page 28 / 73 » An Approach to Multiply Segmented Constraint Satisfaction Pr... |
88
Voted
NSDI
2007
15 years 2 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. While several powerful methods exist for automatically detecting symmetries in instances of constraint satisfaction problems (CSPs), current methods for detecting symmetr...
87
Voted
RECOMB
2004
Springer
16 years 22 days ago
2004
Springer
In this paper we describe an algorithm for the localization of structured models, i.e. sequences of (simple) motifs and distance constraints. It basically combines standard patter...
99
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...
109
click to vote
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— Job-shop scheduling is one of the most difficult production scheduling problems in industry. This paper proposes an adaptive neural network and local search hybrid approach fo...