Sciweavers

3505 search results - page 406 / 701
» Information Theory and the IrisCode
Sort
View
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...
KR
1998
Springer
15 years 11 months ago
Explanatory Diagnosis: Conjecturing Actions to Explain Observations
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
Sheila A. McIlraith
QCQC
1998
Springer
115views Communications» more  QCQC 1998»
15 years 11 months ago
Quantum Entanglement and the Communication Complexity of the Inner Product Function
Abstract. We consider the communication complexity of the binary inner product function in a variation of the two-party scenario where the parties have an a priori supply of partic...
Richard Cleve, Wim van Dam, Michael Nielsen, Alain...