1051 search results - page 163 / 211 » Foundations of Constraint Satisfaction |
87
Voted
CSDA
2006
15 years 17 days ago
2006
Uncertainty is an attribute of information. The path-breaking work of Shannon has led to a universal acceptance of the thesis that information is statistical in nature. Concomitan...
101
click to vote
ER
2007
Springer
15 years 6 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
94
Voted
WADS
1997
Springer
15 years 4 months ago
1997
Springer
We consider the problem of removing a given disk from a collection of unit disks in the plane. At each step, we allow a disk to be removed by a collision-free translation to infin...
107
click to vote
MANSCI
2008
15 years 15 days ago
2008
We study large-scale service systems with multiple customer classes and many statistically identical servers. The following question is addressed: How many servers are required (s...
95
Voted
CADE
2001
Springer
16 years 25 days ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...