86 search results - page 9 / 18 » Automatic Generation of Propagation Rules for Finite Domains |
SIGCOMM
2004
ACM
14 years 27 days ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
BMCBI
2006
13 years 7 months ago
2006
Background: The number of sequences compiled in many genome projects is growing exponentially, but most of them have not been characterized experimentally. An automatic annotation...
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
DAGSTUHL
1996
13 years 8 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...