2398 search results - page 96 / 480 » Constraint Programming and Graph Algorithms |
131
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...
114
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
236
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
308
click to vote
COCOA
2011
Springer
14 years 4 months ago
2011
Springer
Biological networks are commonly used to model molecular activity within the cell. Recent experimental studies have shown that the detection of conserved subnetworks across several...
147
click to vote
AAIM
2009
Springer
15 years 11 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...