and patience throughout all stages of this work. I thank him for devoting his time and interest for all discussions we have had, both related and unrelated to this topic. I also wish to express my gratitude to him for giving me the chance to join the Knowledge Systems Group soon after my arrival in Australia, which made this work become possible. I have benefited from useful discussions with many researchers in this field. I
|
7715
|
Computers and Intractability: A Guide to the Theory of NP-Completeness
– Garey, Johnson
- 1979
|
|
5825
|
Introduction to Algorithms
– Cormen, Leiserson, et al.
- 2001
|
|
3148
|
Computer Architecture: A Quantitative Approach
– Hennessy, Patterson
- 1996
|
|
1673
|
Reinforcement learning: An introduction
– Sutton, Barto
- 1998
|
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
1607
|
Fast Algorithms for Mining Association Rules
– Agrawal, Srikant
- 1994
|
|
1588
|
Computational Complexity
– Papadimitriou
- 1994
|
|
1463
|
Indexing by Latent Semantic Analysis
– Deerwester, Dumais, et al.
- 1990
|
|
1449
|
Mining association rules between sets of items in large databases
– Agrawal, Imielinski, et al.
- 1993
|
|
1397
|
STRIPS: A new approach in the application of theorem proving to problem solving
– Fikes, Nilsson
- 1971
|
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
1206
|
Introduction to Parallel Algorithms and Architectures: Arrays
– Leighton
- 1992
|
|
1177
|
A logic for default reasoning
– Reiter
- 1979
|
|
1073
|
Impossibility of distributed consensus with one faulty process
– Fischer, Lynch, et al.
- 1985
|
|
965
|
Normalized cuts and image segmentation
– Shi, Malik
- 2000
|
|
847
|
Memory coherence in shared virtual memory systems
– Li, Hudak
- 1989
|
|
801
|
How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs
– Lamport
- 1979
|
|
740
|
Using MPI: Portable Parallel Programming with the Message Passing Interface, 2nd edition
– Gropp, Lusk, et al.
- 1999
|
|
737
|
The temporal logic of actions
– Lamport
- 1994
|
|
715
|
Generative communication in Linda
– Gelernter
- 1985
|
|
693
|
Parallel Program Design { A Foundation
– Chandy, Misra
- 1988
|
|
683
|
Circumscription - a form of nonmonotonic reasoning
– McCarthy
- 1980
|
|
676
|
A data locality optimizing algorithm
– Wolf, Lam
- 1991
|
|
659
|
Mining sequential patterns
– Agrawal, Srikant
- 1995
|
|
645
|
Distributed Operating Systems
– Tanenbaum
- 1995
|
|
637
|
Memory consistency and event ordering in scalable shared-memory multiprocessors
– Gharachorloo, Lenoski, et al.
- 1990
|
|
534
|
A truth maintenance system
– Doyle
- 1979
|
|
530
|
Implementation and performance of Munin
– Carter, Bennett, et al.
- 1991
|
|
523
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
477
|
The process group approach to reliable distributed computing
– Birman
- 1993
|
|
461
|
Face recognition using eigenfaces
– Turk, Pentland
- 1991
|
|
448
|
Reliable communication in the presence of failures
– Birman, Joseph
- 1987
|
|
412
|
Applications of circumscription to formalizing common-sense knowledge
– McCarthy
- 1986
|
|
409
|
TCP/IP Illustrated, Volume 1: The Protocols
– Stevens
- 1994
|
|
398
|
Semantical considerations on non-monotonic logic
– Moore
- 1985
|
|
373
|
Latent Dirichlet allocation
– Blei, Ng, et al.
- 2003
|
|
367
|
ªAutomatic Subspace Clustering of High Dimensional Data for Data Mining Applications,º
– Agrawal, Gehrke, et al.
- 1998
|
|
360
|
The Midway distributed shared memory system
– Bershad, Zekauskas, et al.
- 1993
|
|
357
|
Multilisp: A language for concurrent symbolic computation
– Halstead
- 1985
|
|
342
|
A logical framework for default reasoning
– Poole
- 1988
|
|
341
|
Reliable Broadcast Protocols
– Chang, Maxemchuck
- 1984
|
|
330
|
Srikant: “Privacy-Preserving Data Mining
– Agrawal, R
- 2000
|
|
329
|
Hierarchical correctness proofs for distributed algorithms
– Lynch, Tuttle
- 1987
|
|
299
|
Mining sequential patterns: Generalizations and performance improvements
– Srikant, Agrawal
- 1996
|
|
297
|
Garbage Collection: Algorithms for automatic dynamic memory management
– Jones, Lins
- 1996
|
|
280
|
Generation scavenging: A non-disruptive high performance storage reclamation algorithm
– Ungar
- 1984
|
|
277
|
Pointwise circumscription
– Lifschitz
- 1987
|
|
259
|
1999] Probabilistic latent semantic indexing
– Hofmann
|
|
253
|
Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence
– Bennett, Carter, et al.
- 1990
|
|
253
|
Improving data locality with loop transformations
– McKinley, Carr, et al.
- 1996
|
|
