Sciweavers

1705 search results - page 143 / 341
» Representing Constraints with Automata
Sort
View
INFOCOM
1994
IEEE
15 years 8 months ago
Optimal Multiplexing on a Single Link: Delay and Buffer Requirements
This paper is motivated by the need to support multiple service classes in fast packet-switched networks. We address the problem of characterizing and designing scheduling policie...
Leonidas Georgiadis, Roch Guérin, Abhay K. ...
AAAI
1998
15 years 6 months ago
Using Arc Weights to Improve Iterative Repair
One of the surprising findings from the study of CNF satisfiability in the 1990's has been the success of iterative repair techniques, and in particular of weighted iterative...
John Thornton, Abdul Sattar
TSP
2008
92views more  TSP 2008»
15 years 4 months ago
Distributed Structures, Sequential Optimization, and Quantization for Detection
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...
Michael A. Lexa, Don H. Johnson
KBS
2007
103views more  KBS 2007»
15 years 4 months ago
A reusable commitment management service using Semantic Web technology
Commitment management is a key issue in service-provisioning in the context of virtual organisations (VOs). A service-provider — which may be a single agent acting within an orga...
Alun D. Preece, Stuart Chalmers, Craig McKenzie
CORR
2002
Springer
187views Education» more  CORR 2002»
15 years 4 months ago
Answer Sets for Consistent Query Answering in Inconsistent Databases
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki