Sciweavers

3533 search results - page 398 / 707
» Information theory and Thermodynamics
Sort
View
CL
2000
Springer
15 years 11 months ago
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kife...
FM
1999
Springer
93views Formal Methods» more  FM 1999»
15 years 11 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine
KBSE
1998
IEEE
15 years 11 months ago
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
T. L. McCluskey, Margaret Mary West
CSCW
1998
ACM
15 years 11 months ago
Considering an Organization's Memory
The term organizational memory is due for an overhaul. Memory appears to be everywhere in organizations; yet, the term has been limited to a few uses. In this paper we examine wha...
Mark S. Ackerman, Christine Halverson
ESA
1998
Springer
169views Algorithms» more  ESA 1998»
15 years 11 months ago
Augmenting Suffix Trees, with Applications
Information retrieval and data compression are the two main application areas where the rich theory of string algorithmics plays a fundamental role. In this paper, we consider one ...
Yossi Matias, S. Muthukrishnan, Süleyman Cenk...