Sciweavers

13841 search results - page 239 / 2769
» Algorithms and Constraint Programming
Sort
View
APIN
2002
45views more  APIN 2002»
15 years 6 months ago
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...
Carlos Viegas Damásio, Peter Fröhlich,...
ICLP
1992
Springer
15 years 10 months ago
Records for Logic Programming
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
Gert Smolka, Ralf Treinen
STOC
2006
ACM
100views Algorithms» more  STOC 2006»
16 years 7 months ago
On the solution-space geometry of random constraint satisfaction problems
Dimitris Achlioptas, Federico Ricci-Tersenghi
CP
2009
Springer
16 years 7 months ago
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
Mohammad M. Fazel-Zarandi, J. Christopher Beck
ICLP
2003
Springer
15 years 11 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia