Welcome to D
SIGMOD 2004
PODS 2004
SIGMOD RECOR
CIKM 2004
DASFAA 2004
DBPL 2003
DE-BULLETIN
DEBS 2004
DMKD 2004
DMSN 2004
DOLAP 2004
DPDJ 2004
EDBT 2004
ER 2003
GIS 2004
HDP 2004
HYPERTEXT 20
ICDE 2004
ICDT 2003
JCDL 2004
MDM
MIR 2004
MIS 2004
MMDB 2004
MOBIDE 2003
RIDE 2004
SBBD 2003
SIGIR FORUM
SIGIR 2004
SIGKDD EXPLO
SIGKDD 2004
SSDBM 2004
SSTD 2003
TIME 2004
TODS 2004
VLDB 2004
VLDB Journal
WEBDB 2004
WIDM 2004
XIME-P 2004
Footer

Nicola Leone

Papers on DiSC'04


Weighted Hypertree Decompositions and Optimal Query Plans

Publications


Note: Links lead to the DBLP on the Web.

Nicola Leone

Wolfgang Faber , Gianluigi Greco , Nicola Leone: Magic Sets and Their Application to Data Integration. ICDT 2005 : 306-320

Chiara Cumbo , Wolfgang Faber , Gianluigi Greco , Nicola Leone: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. ICLP 2004 : 371-385

Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004 : 200-212

Francesco Calimeri , Manuela Citrigno , Chiara Cumbo , Wolfgang Faber , Nicola Leone, Simona Perri , Gerald Pfeifer : New DLV Features for Data Integration. JELIA 2004 : 698-701

Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Nicola Leone, Simona Perri , Gerald Pfeifer : System Description: DLV with Aggregates. LPNMR 2004 : 326-330

Nicola Leone, Vincenzino Lio , Giorgio Terracina : DLV DB: Adding Efficient Data Management Features to ASP. LPNMR 2004 : 341-345

Nicola Leone, Simona Perri , Francesco Scarcello : BackJumping techniques for rules instantiation in the DLV system. NMR 2004 : 258-266

Francesco Scarcello , Gianluigi Greco , Nicola Leone: Weighted Hypertree Decompositions and Optimal Query Plans. PODS 2004 : 210-221

Gianluigi Greco , Nicola Leone, Francesco Scarcello : On Weighted Hypertree Decompositions. SEBD 2004 : 54-61

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5 (2): 206-263 (2004)

Simona Perri , Nicola Leone: Parametric connectives in Disjunctive Logic Programming. AI Commun. 17 (2): 63-74 (2004)

Francesco Calimeri , Nicola Leone: Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) CoRR cs.AI/0404012 : (2004)

Nicola Leone, Francesco Scarcello , V. S. Subrahmanian : Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. IEEE Trans. Knowl. Data Eng. 16 (4): 487-503 (2004)

Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Nicola Leone, Gerald Pfeifer : Aggregate Functions in DLV. Answer Set Programming 2003

Nicola Leone, Simona Perri : Parametric Connectives in Disjunctive Logic Programming. Answer Set Programming 2003

Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Nicola Leone, Gerald Pfeifer : Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI 2003 : 847-852

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : A logic programming approach to knowledge-state planning, II: The DLV K system. Artif. Intell. 144 (1-2): 157-211 (2003)

Christoph Koch , Nicola Leone, Gerald Pfeifer : Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151 (1-2): 177-212 (2003)

Simona Perri , Francesco Scarcello , Nicola Leone: Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation CoRR cs.AI/0310047 : (2003)

Simona Perri , Nicola Leone: Parametric Connectives in Disjunctive Logic Programming CoRR cs.AI/0311007 : (2003)

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Answer Set Planning Under Action Costs. J. Artif. Intell. Res. (JAIR) 19 : 25-71 (2003)

Georg Gottlob , Nicola Leone, Francesco Scarcello : Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. J. Comput. Syst. Sci. 66 (4): 775-808 (2003)

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Computing preferred answer sets by meta-interpretation in answer set programming. TPLP 3 (4-5): 463-498 (2003)

Sergio Flesca , Sergio Greco , Nicola Leone, Giovambattista Ianni : Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings Springer 2002

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Answer Set Planning under Action Costs. JELIA 2002 : 186-197

Nicola Leone, Gerald Pfeifer , Wolfgang Faber , Francesco Calimeri , Tina Dell'Armi , Thomas Eiter , Georg Gottlob , Giovambattista Ianni , Giuseppe Ielpa , Christoph Koch , Simona Perri , Axel Polleres : The DLV System. JELIA 2002 : 537-540

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : The DLV K Planning System: Progress Report. JELIA 2002 : 541-544

Francesco Calimeri , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Pruning operators for answer set programming systems. NMR 2002 : 200-209

Nicola Leone, Alfredo Mazzitelli , Francesco Scarcello : Cost-based Query Decompositions. SEBD 2002 : 390-403

Michael Gelfond , Nicola Leone: Knowledge Representation and Logic Programming. Artif. Intell. 138 (1-2): 1 (2002)

Michael Gelfond , Nicola Leone: Logic programming and knowledge representation - The A-Prolog perspective. Artif. Intell. 138 (1-2): 3-38 (2002)

Nicola Leone, Gerald Pfeifer , Wolfgang Faber , Thomas Eiter , Georg Gottlob , Simona Perri , Francesco Scarcello : The DLV System for Knowledge Representation and Reasoning CoRR cs.AI/0211004 : (2002)

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming CoRR cs.LO/0201013 : (2002)

Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. 64 (3): 579-627 (2002)

Francesco Buccafurri , Wolfgang Faber , Nicola Leone: Disjunctive Logic Programs with Inheritance. TPLP 2 (3): 293-321 (2002)

Georg Gottlob , Nicola Leone, Francesco Scarcello : Computing LOGCFL certificates. Theor. Comput. Sci. 270 (1-2): 761-777 (2002)

Nicola Leone, Simona Perri , Francesco Scarcello : Abduction with Penalization in Logic Programming. AI*IA 2001 : 123-134

Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Experimenting with Heuristics for Answer Set Programming. IJCAI 2001 : 635-640

Enrico Franconi , Antonio Laureti Palma , Nicola Leone, Simona Perri , Francesco Scarcello : Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR 2001 : 561-578

Nicola Leone, Simona Perri , Francesco Scarcello : Improving ASP Instantiators by Join-Ordering Methods. LPNMR 2001 : 280-294

Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001 : 295-308

Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Christoph Koch , Nicola Leone, Simona Perri , Gerald Pfeifer : System Description: DLV. LPNMR 2001 : 424-428

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : System Description: The DLV K Planning System. LPNMR 2001 : 429-433

Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions: A Survey. MFCS 2001 : 37-57

Georg Gottlob , Nicola Leone, Francesco Scarcello : Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001

Georg Gottlob , Nicola Leone, Francesco Scarcello : Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD 2001 : 147-154

Nicola Leone, Simona Perri , Francesco Scarcello : Join Ordering Techniques for Knowledge Base Systems. SEBD 2001 : 79-93

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity CoRR cs.AI/0112006 : (2001)

Francesco Buccafurri , Wolfgang Faber , Nicola Leone: Disjunctive Logic Programs with Inheritance CoRR cs.LO/0105036 : (2001)

Giovambattista Ianni , Nicola Leone, Simona Perri , Francesco Scarcello : Abduction with Penalization in Logic Programming CoRR cs.LO/0111010 : (2001)

Georg Gottlob , Nicola Leone, Francesco Scarcello : The complexity of acyclic conjunctive queries. J. ACM 48 (3): 431-498 (2001)

Francesco Buccafurri , Thomas Eiter , Georg Gottlob , Nicola Leone: On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62 (3): 463-515 (2001)

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Planning under Incomplete Knowledge. Computational Logic 2000 : 807-821

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer , Axel Polleres : Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000 : 125-134

Georg Gottlob , Nicola Leone, Francesco Scarcello : A comparison of structural CSP decomposition methods. Artif. Intell. 124 (2): 243-282 (2000)

Thomas Eiter , Wolfgang Faber , Christoph Koch , Nicola Leone, Gerald Pfeifer : DLV - A System for Declarative Problem Solving CoRR cs.AI/0003036 : (2000)

Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Enhancing Disjunctive Datalog by Constraints. IEEE Trans. Knowl. Data Eng. 12 (5): 845-860 (2000)

Michael Gelfond , Nicola Leone, Gerald Pfeifer : Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings Springer 1999

Nicola Leone, Simona Perri , Pasquale Rullo : Local Search Techniques for Disjunctive Logic Programs. AI*IA 1999 : 107-118

Georg Gottlob , Nicola Leone, Francesco Scarcello : On Tractable Queries and Constraints. DEXA 1999 : 1-15

Georg Gottlob , Nicola Leone, Francesco Scarcello : Computing LOGCFL Certificates. ICALP 1999 : 361-371

Francesco Buccafurri , Wolfgang Faber , Nicola Leone: Disjunctive Logic Programs with Inheritance. ICLP 1999 : 79-93

Georg Gottlob , Nicola Leone, Francesco Scarcello : A Comparison of Structural CSP Decomposition Methods. IJCAI 1999 : 394-399

Christoph Koch , Nicola Leone: Stable Model Checking Made Easy. IJCAI 1999 : 70-75

Wolfgang Faber , Nicola Leone, Gerald Pfeifer : Pushing Goal Derivation in DLP Computations. LPNMR 1999 : 177-191

Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. PODS 1999 : 21-32

Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries. SEBD 1999 : 275-289

Thomas Eiter , Wolfgang Faber , Nicola Leone, Gerald Pfeifer : The Diagnosis Frontend of the dlv System. AI Commun. 12 (1-2): 99-111 (1999)

Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Semantics and Expressiveness of Disjunctive Ordered Logic. Ann. Math. Artif. Intell. 25 (3-4): 311-337 (1999)

Georg Gottlob , Nicola Leone, Helmut Veith : Succinctness as a Source of Complexity in Logical Formalisms. Ann. Pure Appl. Logic 97 (1-3): 231-260 (1999)

Francesco Buccafurri , Thomas Eiter , Georg Gottlob , Nicola Leone: Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112 (1-2): 57-104 (1999)

Georg Gottlob , Nicola Leone, Francesco Scarcello : On the Complexity of Some Inductive Logic Programming Problems. New Generation Comput. 17 (1): 53-75 (1999)

Nicola Leone, Luigi Palopoli , Domenico Saccà : On the Complexity of Search Queries. FMLDO 1998 : 113-127

Georg Gottlob , Nicola Leone, Francesco Scarcello : The Complexity of Acyclic Conjunctive Queries. FOCS 1998 : 706-715

Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : Progress Report on the Disjunctive Deductive Database System dlv . FQAS 1998 : 148-163

Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998 : 406-417

Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998 : 418-431

Georg Gottlob , Nicola Leone, Francesco Scarcello : Hypertree Decompositions and Tractable Queries CoRR cs.DB/9812022 : (1998)

Thomas Eiter , Nicola Leone, Domenico Saccà : Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Theor. Comput. Sci. 206 (1-2): 181-218 (1998)

Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997 : 141-152

Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Adding Weak Constraints to Disjunctive Datalog. APPIA-GULP-PRODE 1997 : 557-568

Georg Gottlob , Nicola Leone, Francesco Scarcello : On the Complexity of Some Inductive Logic Programming Problems. ILP 1997 : 17-32

Sergio Greco , Nicola Leone, Francesco Scarcello : DATALOG with Nested Rules. LPKR 1997 : 52-65

Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Strong and Weak Constraints in Disjunctive Datalog. LPNMR 1997 : 2-17

Thomas Eiter , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : A Deductive System for Non-Monotonic Reasoning. LPNMR 1997 : 364-375

Simona Citrigno , Thomas Eiter , Wolfgang Faber , Georg Gottlob , Christoph Koch , Nicola Leone, Cristinel Mateis , Gerald Pfeifer , Francesco Scarcello : The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997 : 0-

Laks V. S. Lakshmanan , Nicola Leone, Robert Ross , V. S. Subrahmanian : ProbView: A Flexible Probabilistic Database System. ACM Trans. Database Syst. 22 (3): 419-469 (1997)

Thomas Eiter , Nicola Leone, Domenico Saccà : On the Partial Semantics for Disjunctive Deductive Databases. Ann. Math. Artif. Intell. 19 (1-2): 59-96 (1997)

Thomas Eiter , Georg Gottlob , Nicola Leone: Semantics and Complexity of Abduction from Default Theories. Artif. Intell. 90 (1-2): 177-223 (1997)

Nicola Leone, Clara Pizzuti , Pasquale Rullo : Efficient Evaluation of a Class of Ordered Logic Programs. Data Knowl. Eng. 23 (2): 185-214 (1997)

Nicola Leone, Pasquale Rullo , Antonella Mecchia , Giuseppe Rossi : A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. IEEE Trans. Knowl. Data Eng. 9 (4): 539-558 (1997)

Nicola Leone, Pasquale Rullo , Francesco Scarcello : Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Inf. Comput. 135 (2): 69-112 (1997)

Thomas Eiter , Georg Gottlob , Nicola Leone: On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. 7 (6): 805-824 (1997)

Thomas Eiter , Georg Gottlob , Nicola Leone: Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. 189 (1-2): 129-177 (1997)

Thomas Eiter , Nicola Leone, Domenico Saccà : Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. APPIA-GULP-PRODE 1996 : 271-282

Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Computing Disjunctive Ordered Logic. APPIA-GULP-PRODE 1996 : 283-294

Thomas Eiter , Nicola Leone, Domenico Saccà : Partial Semantics for Disjunctive Deductive Databases. DEXA 1996 : 564-573

Nicola Leone, Pasquale Rullo , Francesco Scarcello : On the Computation of Disjunctive Stable Models. DEXA 1996 : 654-666

Thomas Eiter , Nicola Leone, Domenico Saccà : The Expressive Power of Partial Models in Disjunctive Deductive Databases. Logic in Databases 1996 : 245-264

Nicola Leone, Pasquale Rullo , Francesco Scarcello : Stable Model Checking for Disjunctive Logic Programs. Logic in Databases 1996 : 265-278

Francesco Buccafurri , Nicola Leone, Francesco Scarcello : On the Expressive Power of Ordered Logic. AI Commun. 9 (1): 4-13 (1996)

Francesco Buccafurri , Nicola Leone, Pasquale Rullo : Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. J. Log. Program. 27 (1): 5-43 (1996)

Francesco Buccafurri , Nicola Leone, Luigi Palopoli , Pasquale Rullo : Disjunctive Ordered Logic DEXA 1995 : 303-312

Francesco Scarcello , Nicola Leone, Luigi Palopoli : Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE 1995 : 545-556

Thomas Eiter , Georg Gottlob , Nicola Leone: Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995 : 870-877

Nicola Leone, Francesco Scarcello : Declarative and Fixpoint Characterizations of Disjunctive Stable Models. ILPS 1995 : 399-413

Thomas Eiter , Georg Gottlob , Nicola Leone: Complexity Results for Abductive Logic Programming. LPNMR 1995 : 1-14

Georg Gottlob , Nicola Leone, Helmut Veith : Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995 : 66-81

Thomas Eiter , Nicola Leone: On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. WLP 1995 : 217-226

Nicola Leone, Luigi Palopoli , Massimo Romeo : A Language for Updating Logic Programs and its Implementation. J. Log. Program. 23 (1): 1-61 (1995)

Francesco Buccafurri , Nicola Leone, Pasquale Rullo : A non-deterministic semantics for ordered logic programs. GULP-PRODE (1) 1994 : 449-463

Nicola Leone, Luigi Palopoli , Massimo Romeo : Modifying Intensional Logic Knowledge. Fundam. Inform. 21 (3): 183-203 (1994)

Nicola Leone, Pasquale Rullo : Adding Set Terms to Ordered Logic Programs. GULP 1993 : 87-100

Nicola Leone, Luigi Palopoli , Massimo Romeo : Updating Logic Programs. ISMIS 1993 : 235-244

Nicola Leone, Fabio Messina , Tommaso Mostardi , Carlo Siciliano : Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase. SEBD 1993 : 185-198

Nicola Leone, Massimo Romeo , Pasquale Rullo , Domenico Saccà : Effective Implementation of Negation in Database Logic Query Languages. LOGIDATA+: Deductive Databases with Complex Objects 1993 : 159-175

Nicola Leone, Pasquale Rullo : Ordered Logic Programming with Sets. J. Log. Comput. 3 (6): 621-642 (1993)

Nicola Leone, Giuseppe Rossi : Well-Founded Semantics and Stratification for Ordered Logic Programs. New Generation Comput. 12 (1): 91-121 (1993)

Nicola Leone, Antonella Mecchia , Giuseppe Rossi , Pasquale Rullo : The Basic Query Machine of the KIWIS System. CAiSE 1992 : 632-650

Nicola Leone, Pasquale Rullo : Stable Model Semantics and its Computation for Ordered Logic Programs. ECAI 1992 : 92-96

Sergio Greco , Nicola Leone, Pasquale Rullo : COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4 (4): 344-359 (1992)

Nicola Leone, Pasquale Rullo : Safe computation of the well-founded semantics of Datalog queries. Inf. Syst. 17 (1): 17-31 (1992)

Matts Ahlsen , Alessandro D'Atri , Paul Johannesson , Els Laenens , Nicola Leone, Pasquale Rullo , P. Rossi , François Staes , Laura Tarantino , L. Van Beirendonck , L. Van Cadsand , W. Van Santvliet , J. Vanslembrouck , Brigitte Verdonk , Dirk Vermeir : The KIWIS Knowledge Base Management System. CAiSE 1991 : 79-97

1 [ 1 ]

2 [ 1 ]

3 [ 13 ] [ 21 ] [ 22 ] [ 23 ] [ 28 ] [ 40 ] [ 43 ] [ 47 ] [ 53 ] [ 55 ] [ 62 ] [ 67 ] [ 72 ] [ 75 ] [ 89 ]

4 [ 1 ]

5 [ 96 ] [ 98 ] [ 112 ] [ 120 ]

6 [ 120 ]

7 [ 38 ]

8 [ 120 ] [ 122 ]

9 [ 1 ]

10 [ 82 ] [ 98 ] [ 108 ] [ 110 ] [ 119 ]

11 [ 15 ] [ 17 ] [ 19 ] [ 25 ] [ 27 ] [ 29 ] [ 30 ] [ 31 ] [ 35 ] [ 36 ] [ 38 ] [ 39 ] [ 44 ] [ 45 ] [ 48 ] [ 49 ] [ 53 ] [ 56 ] [ 68 ] [ 70 ] [ 71 ] [ 72 ] [ 76 ] [ 81 ] [ 91 ] [ 92 ] [ 97 ] [ 98 ] [ 99 ] [ 101 ] [ 103 ] [ 107 ] [ 114 ]

12 [ 38 ] [ 56 ] [ 59 ] [ 62 ] [ 68 ] [ 70 ] [ 71 ] [ 75 ] [ 76 ] [ 81 ] [ 82 ] [ 83 ] [ 86 ] [ 89 ] [ 91 ] [ 92 ] [ 96 ] [ 97 ] [ 98 ] [ 99 ] [ 101 ] [ 103 ] [ 107 ] [ 108 ] [ 110 ] [ 114 ] [ 119 ] [ 120 ] [ 121 ] [ 122 ] [ 123 ]

13 [ 100 ]

14 [ 85 ]

15 [ 66 ] [ 93 ] [ 94 ]

16 [ 16 ] [ 17 ] [ 19 ] [ 30 ] [ 31 ] [ 35 ] [ 38 ] [ 42 ] [ 46 ] [ 50 ] [ 52 ] [ 53 ] [ 54 ] [ 57 ] [ 58 ] [ 61 ] [ 63 ] [ 64 ] [ 69 ] [ 72 ] [ 73 ] [ 78 ] [ 79 ] [ 80 ] [ 88 ] [ 90 ] [ 92 ] [ 98 ] [ 102 ]

17 [ 115 ] [ 116 ] [ 122 ] [ 123 ]

18 [ 3 ] [ 41 ] [ 100 ]

19 [ 74 ] [ 98 ] [ 100 ]

20 [ 82 ] [ 98 ] [ 108 ] [ 110 ] [ 119 ]

21 [ 1 ]

22 [ 38 ] [ 60 ] [ 68 ] [ 82 ] [ 98 ] [ 106 ]

23 [ 1 ]

24 [ 37 ]

25 [ 118 ]

26 [ 38 ] [ 39 ] [ 44 ] [ 48 ] [ 49 ]

27 [ 95 ]

28 [ 5 ] [ 33 ]

29 [ 9 ]

30 [ 9 ]

31 [ 85 ]

32 [ 10 ] [ 12 ] [ 14 ] [ 20 ] [ 21 ] [ 51 ]

33 [ 65 ] [ 74 ] [ 77 ] [ 82 ] [ 84 ] [ 85 ] [ 87 ] [ 92 ] [ 98 ] [ 104 ] [ 105 ] [ 109 ] [ 113 ] [ 117 ] [ 119 ] [ 120 ]

34 [ 38 ] [ 39 ] [ 44 ] [ 48 ] [ 49 ] [ 56 ] [ 59 ] [ 66 ] [ 68 ] [ 70 ] [ 71 ] [ 76 ] [ 81 ] [ 82 ] [ 83 ] [ 86 ] [ 91 ] [ 92 ] [ 96 ] [ 97 ] [ 98 ] [ 99 ] [ 101 ] [ 103 ] [ 106 ] [ 107 ] [ 108 ] [ 110 ] [ 114 ] [ 119 ] [ 120 ] [ 121 ]

35 [ 34 ]

36 [ 70 ] [ 71 ] [ 76 ] [ 81 ] [ 97 ] [ 98 ] [ 99 ] [ 103 ] [ 107 ] [ 114 ]

37 [ 8 ] [ 10 ] [ 12 ] [ 14 ]

38 [ 37 ]

39 [ 5 ] [ 6 ] [ 33 ]

40 [ 1 ]

41 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 11 ] [ 13 ] [ 21 ] [ 22 ] [ 24 ] [ 26 ] [ 28 ] [ 32 ] [ 33 ] [ 34 ] [ 40 ] [ 43 ] [ 47 ] [ 55 ] [ 65 ] [ 67 ]

42 [ 8 ] [ 25 ] [ 27 ] [ 29 ] [ 36 ] [ 45 ] [ 51 ]

43 [ 1 ]

44 [ 18 ] [ 20 ] [ 23 ] [ 24 ] [ 26 ] [ 32 ] [ 38 ] [ 39 ] [ 41 ] [ 42 ] [ 44 ] [ 46 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] [ 57 ] [ 58 ] [ 61 ] [ 63 ] [ 64 ] [ 69 ] [ 73 ] [ 74 ] [ 77 ] [ 78 ] [ 79 ] [ 80 ] [ 84 ] [ 85 ] [ 87 ] [ 88 ] [ 90 ] [ 92 ] [ 95 ] [ 102 ] [ 105 ] [ 111 ] [ 115 ] [ 116 ] [ 117 ]

45 [ 9 ]

46 [ 1 ]

47 [ 37 ] [ 111 ]

48 [ 1 ]

49 [ 118 ]

50 [ 1 ]

51 [ 16 ] [ 54 ]

52 [ 1 ]

53 [ 1 ]




©2005 Association for Computing Machinery