Kurt P. Brown PRPL: A Database Workload Specification Language, v1.3. 1992 Univ. of Wisconsin-Madison Tolga Yurek Efficient View Maintenance at Data Warehouses. 1997 University of California at Santa Barbara, Department of Computer Science
Paul R. McJones The 1995 SQL Reunion: People, Project, and Politics, May 29, 1995. Digital System Research Center Report SRC1997-018 1997 db/labs/dec/SRC1997-018.html http://www.mcjones.org/System_R/SQL_Reunion_95/ decTR/src1997-018.pdf
db/labs/gte/TR-0263-08-94-165.html Frank Manola An Evaluation of Object-Oriented DBMS Developments: 1994 Edition. GTE Laboratories Incorporated TR-0263-08-94-165 August 1994 db/labs/gte/index.html#TR-0263-08-94-165 GTE/MANO94a.pdf
db/labs/gte/TR-0169-12-91-165.html Frank Manola Object Data Language Facilities for Multimedia Data Types. GTE Laboratories Incorporated TR-0169-12-91-165 December 1991 db/labs/gte/index.html#TR-0169-12-91-165 GTE/MANO91a.pdf
db/labs/gte/TR-0231-08-93-165.html Frank Manola Sandra Heiler A 'RISC' Object Model for Object System Interoperation: Concepts and Applications. GTE Laboratories Incorporated TR-0231-08-93-165 August 1993 db/labs/gte/index.html#TR-0231-08-93-165 GTE/MANO93c.pdf
db/labs/gte/TM-0014-06-88-165.html Frank Manola Distributed Object Management Technology. GTE Laboratories Incorporated TM-0014-06-88-165 June 1988 db/labs/gte/index.html#TM-0014-06-88-165 GTE/MANO88.pdf
db/labs/gte/TM-0332-11-90-165.html Frank Manola Mark F. Hornick Alejandro P. Buchmann Object Data Model Facilities for Multimedia Data Types. GTE Laboratories Incorporated TM-0332-11-90-165 December 1990 db/labs/gte/index.html#TM-0332-11-90-165 GTE/MANO90b.pdf
db/labs/gte/TR-0236-09-93-165.html Farshad Nayeri Benjamin Hurwitz Experiments with Dispatching in a Distributed Object System. GTE Laboratories Incorporated TR-0236-09-93-165 July 1993 db/labs/gte/index.html#TR-0236-09-93-165 GTE/NAYE93c.pdf
db/labs/gte/TR-0244-12-93-165.html Frank Manola MetaObject Protocol Concepts for a RISC Object Model. GTE Laboratories Incorporated TR-0244-12-93-165 December 1993 db/labs/gte/index.html#TR-0244-12-93-165 GTE/MANO93d.pdf
db/labs/gte/TR-0146-06-91-165.html Alejandro P. Buchmann M. Tamer Özsu Dimitrios Georgakopoulos Towards a Transaction Management System for DOM. GTE Laboratories Incorporated TR-0146-06-91-165 June 1991 db/labs/gte/index.html#TR-0146-06-91-165 GTE/BUCH91.pdf
db/labs/gte/TR-0174-12-91-165.html Mark F. Hornick Joe D. Morrison Farshad Nayeri Integrating Heterogeneous, Autonomous, Distributed Applications Using the DOM Prototype. GTE Laboratories Incorporated TR-0174-12-91-165 December 1991 db/labs/gte/index.html#TR-0174-12-91-165 GTE/HORN91.pdf
db/labs/gte/TM-0149-06-89-165.html Frank Manola Object Model Capabilities For Distributed Object Management. GTE Laboratories Incorporated TM-0149-06-89-165 June 1989 db/labs/gte/index.html#TM-0149-06-89-165 GTE/MANO89a.pdf
db/labs/gte/TR-0310-11-95-165.html Frank Manola Integrating Object-Oriented Applications and Middleware with Relational Databases. GTE Laboratories Incorporated TR-0310-11-95-165 November 1995 db/labs/gte/index.html#TR-0310-11-95-165 GTE/MANO95.pdf
SQL/Data System, General Information Manual. IBM Publication GH24-5012 IBM Corporation, White Plains, NY 1981 db/labs/ibm/GH24-5012.html ibmTR/gh24-5012.pdf
SQL/Data System, Conpects and Facilities. IBM Publication GH24-5013 IBM Corporation, White Plains, NY 1981 db/labs/ibm/GH24-5013.html ibmTR/gh24-5013.pdf
Dines Bjørner E. F. Codd Kenneth L. Deckert Irving L. Traiger The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations. IBM Research Report RJ1200 April 1973 db/labs/ibm/RJ1200.html ibmTR/rj1200.pdf
Raymond F. Boyce Donald D. Chamberlin Using a Structured English Query Language as a Data Definition Facility. IBM Research Report RJ1318 December 1973 db/labs/ibm/RJ1318.html ibmTR/rj1318.pdf
Jim Gray Vera Watson A Shared Segment and Interprocess Communication Facility for VM/370 IBM Research Report RJ1579 May 1975 db/labs/ibm/RJ1579.html ibmTR/rj1579.pdf
E. F. Codd Robert S. Arnold Jean-Marc Cadiou Chin-Liang Chang Nick Roussopoulos RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases. IBM Research Report RJ2144 January 1978 db/labs/ibm/RJ2144.html ibmTR/rj2144.pdf
H. Raymond Strong Irving L. Traiger George Markowsky Slide Search. IBM Research Report RJ2274 June 1978 db/labs/ibm/RJ2274.html ibmTR/rj2274.pdf
Irving L. Traiger Jim Gray Cesare A. Galtieli Bruce G. Lindsay Transactions and Consistency in Distributed Database Systems. IBM Research Report RJ2555 June 1979 db/labs/ibm/RJ2555.html ibmTR/rj2555.pdf
Raymond A. Lorie Bradford W. Wade The Compilation of a High Level Data Language. IBM Research Report RJ2598 August 1979 db/labs/ibm/RJ2598.html ibmTR/rj2598.pdf
Sai Choi Kwan H. Raymond Strong Index Path Length Evaluation for the Research Storage System of System R. IBM Research Report RJ2736 1980 January db/labs/ibm/RJ2736.html ibmTR/rj2736.pdf
Michel E. Adiba Bruce G. Lindsay Database Snapshots. IBM Research Report RJ2772 1980 db/labs/ibm/RJ2772.html ibmTR/rj2772.pdf
Raymond A. Lorie XRM - An Extended (N-ary) Relational Memory. IBM Cambridge Scientific Center IBM Research Report G320-2096 January 1974 db/labs/ibm/G320-2096.html ibmTR/g320-2096.pdf
SQL/Data System for VSE: A Relational Data System for Application Development. IBM Publication G320-6590 IBM Corporation, White Plains, NY 1981 db/labs/ibm/G320-6590.html ibmTR/g320-6590.pdf
Krishna G. Kulkarni Jim Melton Jonathan Bauer Mike Kelley Inheritance for ADTs (revised) ANSI X2H2 DBL:KAW-006 X3H2-91-133rev1 July 1991 db/systems/sqlPapers.html#X3H2-91-133rev1 SQL/x3h2-91-133rev1.pdf db/systems/X3H2-91-133rev1.html
Jim Melton Jonathan Bauer Krishna G. Kulkarni Object ADTs (with improvements for Value ADTs) ANSI X3H2 DBL:ARL-029 X3H2-91-083rev1 April 1991 db/systems/sqlPapers.html#X3H2-91-083rev1 SQL/X3H2-91-083rev1.pdf db/systems/X3H2-91-083rev1.html
Phil Shaw Modification of User Defined Types ANSI X3H2 X3H2-90-292 1990 db/systems/sqlPapers.html#X3H2-90-292 SQL/X3H2-90-292.pdf db/systems/X3H2-90-292.html
David Beech Cetin Ozbutun Object Oriented DBMS as a Generalization of Relational DBMS ANSI X3H2 X3H2-90-412 1990 db/systems/sqlPapers.html#X3H2-90-412 SQL/X3H2-90-412.pdf db/systems/X3H2-90-412.html
David Beech Unification of Value and Object ADTs ANSI X3H2 X3H2-92-062 1992 db/systems/sqlPapers.html#X3H2-92-062
Andra Sikeler Implementierungskonzepte für Non-Standard-Datenbanksysteme. 1989 Universität Kaiserslautern Inderpal Singh Mumick Query Optimization in Deductive and Relational Databases 1991 Department of Computer Science, Stanford University Divesh Srivastava Representing and Querying Complex Information in the Coral Deductive Database System. 1993 Univ. of Wisconsin-Madison Lars Arge Efficient External-Memory Data Structures and Applications. 1996 BRICS Dissertation Series DS-96-3 University of Aarhus Todd A. Proebsting Code Generation Techniques. 1992 Univ. of Wisconsin-Madison Erich Gehlen Optimierung der Anfrageauswertung in einem Deduktiven Datenbanksystem. 1992 Uni Trier, Informatik Marcia A. Derr Adaptive Optimization in a Database Programming Language 1992 Stanford University, Department of Computer Science Frank Olken Random Sampling from Databases 1993 University of California at Berkeley LBL Technical Report LBL-32883 Angelo Montanari Metric and Layered Temporal Logic for Time Granularity 1996 ILLC Dissertation Series 1996-02, University of Amsterdam Asit Dan Performance Analysis of Data Sharing Environments 1990 University of Massachusetts, Amherst Shaul Dar Augmenting Databases with Generalized Transitive Closure 1993 Univ. of Wisconsin-Madison Younkyung Cha Kang Randomized Algorithms for Query Optimization. 1991 Univ. of Wisconsin-Madison David B. Kemp On the Foundations of Query Evaluation in Deductive Databases 1992 University of Melbourne, Department of Computer Science Bruce K. Holmer Automatic Design of Computer Instruction Sets 1993 University of California at Berkeley Roberta Cochrane Issues in Integrating Actice Rules Into Database Systems 1992 University of Maryland, Department of Computer Science, College Park, MD Robert Kooi The Optimization of Queries in Relational Databases. 1980 September Case Western Reserve University Joann J. Ordille Descriptive Name Services for Large Internets. 1993 Univ. of Wisconsin-Madison Leo Mark Self-Describing Database Systems - Formalization and Realization 1985 University of Maryland, Department of Computer Science, College Park, MD Seth J. White Pointer Swizzling Techniques for Object-Oriented Database Systems 1994 Univ. of Wisconsin-Madison Marshall K. McKusick Register Allocation and Data Conversion in Machine Independent Code Generators 1984 University of California at Berkeley Michael J. Carey Modeling and Evaluation of Database Concurrency Control Algorithms 1983 College of Engineering, University of California, Berkeley Christian Schulte Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine. 1991 Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme Katherine A. Morris Subgoal Order for Query Optimization in Logic Databases. 1991 Stanford University, Department of Computer Science Kjell Post Analysis and Transformation of Logic Programs. 1994 University of California at Santa Cruz John Sieg Jr. Making Extensible Database Technology Work. 1989 Boston Univerity William J. McKenna Efficient Search in Extensible Query Optimization: The Volcano Optimizer Generator 1993 University of Colorado-Boulder Francisco Reverbell Persistence in Distributed Object Systems: ORB/ODBMS Integration. 1996 April University of New Mexico Michael J. Franklin Caching and Memory Management in Client-Server Database Systems 1993 Univ. of Wisconsin-Madison Daniel F. Lieuwen Optimizing and Parallelizing Loops in Object-Oriented Database Programming Languages. 1992 Univ. of Wisconsin-Madison Limsoon Wong Querying Nested Collections. 1994 Univ. Pennsylvania Dietmar Seipel Decomposition in Database and Knowledge-Base Systems. 1989 Uni Würzburg Suryanarayana M. Sripada Temporal Reasoning in Deductive Databases 1991 Imperial College of Science, University of London Iakovos Motakis Temporal Reasoning in Active Databases. 1997 University of California at Los Angeles V. Srinivasan On-Line Processing in Large-Scale Transaction Systems. 1992 Univ. of Wisconsin-Madison Russell Turpin Programming Data Structures in Logic. 1992 University of Texas, Austin S. Sudarshan Optimizing Bottom-Up Query Evaluation for Deductive Databases. 1992 Univ. of Wisconsin-Madison Ulf Nilsson Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs. 1992 Linköping University, Department of Computer and Information Science Thomas W. Getzinger Abstract Interpretation for the Compile-Time Optimization of Logic Programs 1993 University of Southern California Michael Schiwietz Speicherung und Anfragebearbeitung komplexer Geo-Objekte 1993 Ludwig-Maximilian-Universität München Verlag Shaker 3-86111-723-1 John T. Robinson Design of Concurrency Control Protocols for Transaction Processing Systems. 1982 Carnegie Mellon University Craig Chambers The Design and Implementation of the SELF Compiler, an Optimizing Compilet for Object-Oriented Programming Languages 1992 Stanford University, Department of Computer Science Michael H. Böhlen The Temporal Deductive Database System ChronoLog 1994 Departement Informatik, ETH Zürich Tep Dobry A High Performance Architecture For Prolog 1987 University of California at Berkeley Andrew Taylor High Performance Prolog Implementation 1991 University of Sydney, Basser Department of Computer Science Gert Smolka Logic Programming over Polymorphically Order-Sorted Tyypes. 1989 Universität Kaiserslautern Peter Van Roy A Prolog Compiler for the PLM. 1984 University of California at Berkeley Peter Van Roy Can Logic Programming Execute as Fast as Imperative Programming? 1990 University of California at Berkeley Mark Sullivan System Support for Software Fault Tolerance in Highly Available Database Management Systems. 1993 University of California at Berkeley Heping Shang Trie Methods for Text and Spatial Data on Secondary Storage. 1994 McGill University Gail Mitchell Extensible Query Processing in an Object-Oriented Database. 1993 Brown University, Department of Computer Science Ann L. Chervenak Tertiary Storage: An Evaluation of New Applications 1994 U. C. Berkeley Edsger W. Dijkstra Communication with an Automatic Computer 1959 Excelsior University of Amsterdam http://www.cs.utexas.edu/users/EWD/PhDthesis/PhDthesis.PDF Eric Simon Conception et Realisation d'un sous Systeme d'Intgerite dans un SGBD Relationnel 1986 Univerite de Paris VI Viswanath Poosala Histogram-Based Estimation Techniques in Database Systems. 1997 Univ. of Wisconsin-Madison Hennie J. Steenhagen Optimization of Object Query Languages. 1995 University of Twente Mark A. Friedman A Characterization of Prolog Execution 1992 Univ. of Wisconsin-Madison Walter Waterfeld Eine erweiterbare Speicher- und Zugriffskomponente für geowissenschaftliche Datenbanksysteme. 1991 Technische Universität Darmstadt Gerhard Weikum Transaktionsverwaltung in Datenbanksystemen mit Schichtenarchitektur. 1986 Technische Universität Darmstadt Sanjai Narain LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation. 1988 University of California at Los Angeles Sumit Ganguly Parallel Evaluation of Deductive Database Queries. 1992 University of Texas, Austin Arun N. Swami Optimization of Large Join Queries 1989 Stanford University, Department of Computer Science Yonathan Malachi Nonclausal Logic Programming 1986 Stanford University, Department of Computer Science Edwin McKenzie An Algebraic Language for Query and Update of Temporal Databases 1988 September University of North Carolina, Computer Science Department Goetz Graefe Rule-Based Query Optimization in Extensible Database Systems 1987 Univ. of Wisconsin-Madison Manoli M. Tsangaris Principles of Static Clustering for Object Oriented Databases 1992 Univ. of Wisconsin-Madison Günther Specht Source-to-Source Transformationen zur Erklärung des Programmverhaltens bei deduktiven Datenbanken. 1992 Technische Universität München Antonin Guttman New Features for Relational Database Systems to Support CAD Applications 1984 University of California, Berkeley Sanjay Ghemawat The Modified Object Buffer: A Storage Management Technique for Object-Oriented Databases 1995 MIT Laboratory for Computer Science Christof Hasse Inter- und Intratransaktionsparallelität in Datenbanksystemen: Entwurf, Implementierung und Evaluation eines Datenbanksystems mit Inter- und Intratransaktionsparallelität 1995 11045 Departement Informatik, ETH Zürich Barry Hayes Key Objects in Garbage Collection 1993 Stanford University, Department of Computer Science Praveen Seshadri Management of Sequence Data 1996 Univ. of Wisconsin-Madison, CS Department Geoffrey Phipps Glue: A Deductive Database Programming Language 1992 Stanford University, Department of Computer Science Joseph M. Hellerstein Optimization and Execution Techniques for Queries With Expensive Methods 1995 Univ. of Wisconsin-Madison Margo I. Seltzer File System Performance and Transaction Support. 1992 University of California at Berkeley Tatu Ylönen Shadow Paging Is Feasible. 1994 Helsinki University of Technology, Department of Computer Science Self-organizing Map http://www.cis.hut.fi/nnrc/nnrc-programs.html Ardent Software http://www.ardentsoftware.fr The MPEG Home Page http://drogo.cselt.stet.it/mpeg/ IBM DB2 http://www.software.ibm.com/data/db2/ Objectstore http://www.odi.com Persistence Software http://www.persistence.com/ Poet http://www.poet.com AltaVista http://www.altavista.com/ Lycos http://www.lycos.com Ontos http://www.ontos.com/ Yahoo http://www.yahoo.com/ MetaCrawler http://www.metacrawler.com Google http://www.google.com Versant ODBMS http://www.versant.com Objectivity White Paper: Choosing an Object Database 1998 http://www.objectivity.com/ObjectDatabase/WP/Choosing/Choosing.html Java Language Home Page http://java.sun.com/ Jean-Loup Gailly Mark Adler Zlib Home Page [old location: http://quest.jpl.nasa.gov/zlib] http://www.cdrom.com/pub/infozip/zlib/ Beowulf Project at CESDIS http://beowulf.gsfc.nasa.gov/beowulf.html Alin Deutsch Mary F. Fernandez Daniela Florescu Alon Y. Levy Dan Suciu Xml-ql: A Query Language for XML http://www.w3.org/TR/NOTE-xml-ql/ Mary F. Fernandez Jonathan Robie XML Query Data Model 2001 http://www.w3.org/TR/query-datamodel Donald D. Chamberlin Peter Fankhauser Massimo Marchiori Jonathan Robie XML Query Requirements 2001 http://www.w3.org/TR/xmlquery-req Donald D. Chamberlin Peter Fankhauser Massimo Marchiori Jonathan Robie XML Query Use Cases 2001 http://www.w3.org/TR/xmlquery-use-cases Peter Fankhauser Mary F. Fernandez Ashok Malhotra Michael Rys Jérôme Siméon Philip Wadler The XML Query Algebra 2001 http://www.w3.org/TR/query-algebra Donald D. Chamberlin Daniela Florescu Jonathan Robie Jérôme Siméon Mugur Stefanescu XQuery: A Query Language for XML 2001 http://www.w3.org/TR/xquery W3C: Extensible Markup Language (XML) 1.0 http://www.w3.org/TR/REC-xml W3C: Document Oject Model (DOM) http://www.w3.org/DOM/ W3C - The World Wide Web Consortium http://www.w3.org/ W3C: The w3c Query Language Workshop, December 1998, Boston, MA, USA 1998 http://www.w3.org/TandS/QL/QL98/ Tim Berners-Lee Request for Comments: 1738, Uniform Resource Locators (URL) 1994 http://www.w3.org/Addressing/rfc1738.txt W3C: Extensible Stylesheet Language (XSL) http://www.w3.org/Style/XSL/ Roy T. Fielding Henrik Frystyk Nielsen Tim Berners-Lee Internet Draft: Hypertext Transfer Protocol - HTTP/1.1 http://www.w3.org/Protocols/HTTP/1.1/spec.html OMG, UML Notation Guide, Version 1.1 1997 http://www.omg.org/techprocess/meetings/schedule/Technology_Adoptions.htm Transaction Processing Performance Council http://www.tpc.org KAFFE http://www.kaffe.org/ Arnon Rosenthal The Future of Classic Data Administration: Objects + Databases + CASE SWEE 1998 http://www.mitre.org/support/swee/rosenthal.html Robin Cover The SGML/XML Web Page http://www.oasis-open.org/cover/xml.html WfMC Standards: The Workflow Reference Model, Version 1.1. 1995 http://www.aiim.org/wfmc/mainframe.htm Didier Bert B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings B Lecture Notes in Computer Science 1393 Springer 1998 3-540-64405-9 db/conf/b/b1998.html Emil Sekerinski Graphical Design of Reactive Systems. 182-197 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930182.htm db/conf/b/b1998.html#Sekerinski98 Patrick Behm Lilian Burdy Jean-Marc Meynadier Well Defined B. 29-45 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930029.htm db/conf/b/b1998.html#BehmBM98 Patrick Behm Pierre Desforges Jean-Marc Meynadier MÉTÉOR : An Industrial Success in Formal Development. 26 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930026.htm db/conf/b/b1998.html#BehmDM98 Jean-François Pétin Gérard Morel Dominique Méry Patrick Lamboley Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. 198-209 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930198.htm db/conf/b/b1998.html#PetinMML98 Marie-Laure Potet Yann Rouzaud Composition and Refinement in the B-Method. 46-65 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930046.htm db/conf/b/b1998.html#PotetR98 Jean-Raymond Abrial On B. 1-8 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930001.htm db/conf/b/b1998.html#Abrial98 Marina A. Waldén Layering Distributed Algorithms within the B-Method. 243-260 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930243.htm db/conf/b/b1998.html#Walden98 Carroll Morgan The Generalised Substitution Language Extended to Probabilistic Programs. 9-25 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930009.htm db/conf/b/b1998.html#Morgan98 Souâd Taouil-Traverson Sylvie Vignes Designing a B Model for Safety-Critical Software Systems. 210-225 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930210.htm db/conf/b/b1998.html#Taouil-TraversonV98 Brian Matthews Brian Ritchie Juan Bicarregui Synthesising Structure from Flat Specifications. 148-161 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930148.htm db/conf/b/b1998.html#MatthewsRB98 François Pilarski Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE. 27-28 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930027.htm db/conf/b/b1998.html#Pilarski98 Pierre Chartier Formalisation of B in Isabelle/HOL. 66-82 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930066.htm db/conf/b/b1998.html#Chartier98 Jacques Julliand Bruno Legeard Thierry Machicoane Benoit Parreaux Bruno Tatibouët Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. 273-292 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930273.htm db/conf/b/b1998.html#JulliandLMPT98 Jean-Raymond Abrial Louis Mussat Introducing Dynamic Constraints in B. 83-128 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930083.htm db/conf/b/b1998.html#AbrialM98 Philipp A. Heuberger Two Strategies to Data-Refine an Equivalence to a Forest. 261-272 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930261.htm db/conf/b/b1998.html#Heuberger98 Richard Banach M. Poppleton Retrenchment: An Engineering Variation on Refinement. 129-147 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930129.htm db/conf/b/b1998.html#BanachP98 Helen Treharne J. Draper Steve Schneider Test Case Preparation Using a Prototype. 293-311 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930293.htm db/conf/b/b1998.html#TreharneDS98 Alexander Malioukov An Object-Based Approach to the B Formal Method. 162-181 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930162.htm db/conf/b/b1998.html#Malioukov98 Bill Stoddart Steve Dunne Andy Galloway Richard Shore Abstract State Machines: Designing Distributed Systems with State Machines and B. 226-242 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930226.htm db/conf/b/b1998.html#StoddartDGS98 Jean-Loup Baer Modelling Architectural Features with Petri Nets. 258-277 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Baer86 Philippe le Chenadec A Survey of Symmetrized and Complete Group Presentations. 135-153 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Chenadec93 Walter Baur Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion. 11-19 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Baur76 Richard W. Watson IPC Interface and End-to-End Protocols. 140-174 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Watson80a Richard W. Watson Identifiers (Naming) in Distributed Systems. 191-210 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Watson80b Georgios Paliouras Vangelis Karkaletsis Constantine D. Spyropoulos Machine Learning and Its Applications, Advanced Lectures Machine Learning and Its Applications Lecture Notes in Computer Science 2049 Springer 2001 3-540-42490-3 db/conf/ac/ml2001.html Georg Dorffner An Introduction to Neurocomputing and its Possible Role in AI. 440-464 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Dorffner92 Eike Best Atomicity of Activities. 225-250 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Best75 Eike Best COSY: Its Relation to Nets and CSP. 416-440 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Best86 Marisa Venturini Zilli Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings Mathematical Models for the Semantics of Parallelism Lecture Notes in Computer Science 280 Springer 1987 3-540-18419-8 db/conf/ac/parallel1986.html Bart Preneel Standardization of Cryptographic Techniques. 162-173 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Preneel91 Bart Preneel Cryptographic Primitives for Information Authentication - State of the Art. 49-104 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280049.htm db/conf/ac/crypto1997.html#Preneel97 Bart Preneel The State of Cryptographic Hash Functions. 158-182 http://link.springer.de/link/service/series/0558/bibs/1561/15610158.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Preneel98 Hiroshi Nogami Gordon L. Stüber New Error Probability Upper Bound on Maximum Likelihood Sequence Estimation for Intersymbol Interference Channels. 230-241 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#NogamiS94 Ralph-Hardo Schulz Check Character Systems and Anti-symmetric Mappings. 136-147 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220136.htm db/conf/ac/cdm2001.html#Schulz01 E. Douglas Jensen Hardware/Software Relationships in Distributed Systems. 413-420 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Jensen80a Kurt Jensen Coloured Petri Nets. 248-299 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Jensen86a Martin Aigner Lattice Paths and Determinants. 1-12 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220001.htm db/conf/ac/cdm2001.html#Aigner01 Rubén González-Rubio A. Bradier J. Rohmer DDC Delta Driven Computer - a Parallel Machine for Symbolic Processing. 286-298 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#Gonzalez-RubioBR86 Ali Shokoufandeh Sven J. Dickinson Graph-Theoretical Methods in Computer Vision. 148-174 2000 conf/ac/2000tacs Theoretical Aspects of Computer Science http://link.springer.de/link/service/series/0558/bibs/2292/22920148.htm db/conf/ac/tacs2000.html#ShokoufandehD00 Dominique de Waleffe Jean-Jacques Quisquater Better Login Protocols for Computer Networks. 50-70 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#WaleffeQ91 Klaus Vedder Security Aspects of Mobile Communications. 193-210 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Vedder91 Klaus Vedder GSM: Security, Services, and the SIM. 224-240 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280224.htm db/conf/ac/crypto1997.html#Vedder97 Nikita D. Vvedenskaya J. C. Arnbak B. S. Tsybakov Improved Performance of Mobile Data Networks Using Stack Algorithms and Receiver Capture. 464-475 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#VvedenskayaAT94 Anthony G. Cohn Qualitative Reasoning. 60-95 1987 conf/ac/1987acai Advanced Topics in Artificial Intelligence db/conf/ac/acai1987.html#Cohn87 Pierpaolo Degano Rocco De Nicola Ugo Montanari CCS is an (Augmented) Contact Free C/E System. 144-165 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#DeganoNM86 Max Dauchet Rewriting and Tree Automata. 95-113 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Dauchet93 Michel Diaz Petri Nets Based Models in the Specification and Verification of Protocols. 135-170 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Diaz86 Pierre America Jaco de Bakker Designing Equvialent Semantic Models for Process Creation. 21-80 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#AmericaB86 Ian T. Foster Task Parallelism and High-Performance Languages. 179-196 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#Foster96 Johann Eder Logic and Databases. 95-103 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Eder92 R. D. Cideciyan E. Eleftheriou Concatenated Coding Scheme for Reliable Data Transmission in CDMA Cellular Systems. 76-86 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#CideciyanE94 Zoran Siveski Yeheskel Bar-Ness David W. Chen Adaptive Multiuser Detector for Synchronous Code Division Multiple Access Applications. 67-75 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#SiveskiBC94 Gerald J. Popek Charles S. Kline Issues in Kernel Design. 209-227 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#PopekK78 Bob J. Wielinga Bert Bredeweg Joost Breuker Knowledge Acquisition for Expert Systems. 96-124 1987 conf/ac/1987acai Advanced Topics in Artificial Intelligence db/conf/ac/acai1987.html#WielingaBB87 Petr Hájek David Harmanec On Belief Functions. 286-307 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#HajekH92 Anastasia Pagnoni Stochastic Nets and Performance Evaluation. 460-478 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Pagnoni86 Alan W. Biermann Fundamental Mechanisms in Machine Learning and Inductive Inference. 133-169 1985 Advanced Course: Fundamentals of Artificial Intelligence db/conf/ac/ai.html#Biermann85 Alan W. Biermann Fundamental Mechanisms in Machine Learning and Inductive Inference: Part 2. 125-145 1987 conf/ac/1987acai Advanced Topics in Artificial Intelligence db/conf/ac/acai1987.html#Biermann87 Joos Vandewalle René Govaerts Bart Preneel Technical Approaches to Thwart Computer Fraud. 20-30 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#VandewalleGP91 Brian Randell Reliable Computing Systems. 282-391 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Randell78 Pulin R. Patel Jack M. Holtzman Analysis of Successive Interference Cancellation in M-ary Orthogonal DS-CDMA System with Single Path Rayleigh Fading. 150-161 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#PatelH94 David Gilbert Christopher J. Hogger Logic for Representing and Implementing Knwoledge about System Behaviour. 42-49 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#GilbertH92 Michele Zorzi Laurence B. Milstein Power Control on the Forward Link in Cellular CDMA. 391-399 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#ZorziM94 Michele Zorzi Ramesh R. Rao Slotted ALOHA with Capture in a Mobile Radio Environment. 452-463 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#ZorziR94 Walter Fumy Key Management. 132-147 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Fumy91 Walter Fumy Key Management Techniques. 142-162 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280142.htm db/conf/ac/crypto1997.html#Fumy97 P. S. Thiagarajan Jesper G. Henriksen Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. 643-681 1996 Petri Nets db/conf/ac/petri1.html#ThiagarajanH96 Holger Hussmann Performance Evaluation of the DECT Radio Resource Management. 45-55 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Hussmann94 Marc Shapiro Fabrice Le Fessant Paulo Ferreira Recent Advances in Distributed Garbage Collection. 104-126 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520104.htm db/conf/ac/dc1999.html#ShapiroFF99 Carlo Ghezzi Angelo Morzenti Mauro Pezzè On the Role of Software Reliability in Software Engineering. 1-40 1987 conf/ac/1987sr Software Reliability Modelling and Identification db/conf/ac/sr1987.html#GhezziMP87 Sirikiat Lek Ariyavisitakul Performance of Dynamic Feedback Power Control in a TDMA Radio System. 365-375 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Ariyavisitakul94 Sergio Bittanti Paolo Bolzern Riccardo Scattolini An Introduction to Software Reliability Modelling. 43-67 1987 conf/ac/1987sr Software Reliability Modelling and Identification db/conf/ac/sr1987.html#BittantiBS87 Mihir Bellare Practice-Oriented Provable Security. 1-15 http://link.springer.de/link/service/series/0558/bibs/1561/15610001.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Bellare98 Mark Vandenwauver Frank Jorissen Securing Internet Electronic Mail. 208-223 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280209.htm db/conf/ac/crypto1997.html#VandenwauverJ97 Robert Valette Nets in Production Systems. 191-217 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Valette86 Christos Papatheodorou Machine Learning in User Modeling. 286-294 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490286.htm db/conf/ac/ml2001.html#Papatheodorou01 Michael Bertol Volker Diekert On Efficient Reduction Algorithms for Some Trace Rewriting Systems. 114-126 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#BertolD93 Jim Gray Notes on Data Base Operating Systems. 393-481 GrayOS/Gray_DBOS.pdf 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Gray78 db/conf/ac/Gray78.html Helmut Alt The Nearest Neighbor. 13-24 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220013.htm db/conf/ac/cdm2001.html#Alt01 James P. Delgrande John Mylopoulos Knowledge Representation: Features of Knowledge. 3-36 1985 Advanced Course: Fundamentals of Artificial Intelligence db/conf/ac/ai.html#DelgrandeM85 Werner Bux Performance Issues. 108-161 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Bux83 Wayne Iba Pat Langley Unsupervised Learning of Probabilistic Concept Hierarchies. 39-70 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490039.htm db/conf/ac/ml2001.html#IbaL01 Jonathan L. Shapiro Genetic Algorithms in Machine Learning. 146-168 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490146.htm db/conf/ac/ml2001.html#Shapiro01 Robert M. Shapiro The Application of General Net Theory - A Personal History. 401-440 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Shapiro75 Ehud Y. Shapiro Concurrent Prolog: A Progress Report. 277-313 1985 Advanced Course: Fundamentals of Artificial Intelligence db/conf/ac/ai.html#Shapiro85 Gordon Lennox EDI Security. 235-243 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Lennox91 Monica S. Lam Current Status of the SUIF Research Project. 65-78 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#Lam96 Horng-Dar Lin Area-Efficient Viterbi Decoders for Complex Rate-k/n Convolutional and Trellis Codes. 529-540 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Lin94 Jean-Louis Pazat Tools for High Performance Fortran: A Survey. 134-158 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#Pazat96 Pierre-Louis Curien Abstract Machines, Control, and Sequents. 123-136 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950123.htm db/conf/ac/appsem2000.html#Curien00 Gérard P. Huet Deduction and Computation. 38-74 1985 Advanced Course: Fundamentals of Artificial Intelligence db/conf/ac/ai.html#Huet85 Jerre D. Noe Nets in Modeling and Simulation. 347-368 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Noe75 Eike Best The Relative Strength of K-Density. 261-276 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Best75a Eike Best Adequacy of Path Programs. 291-305 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Best75b Eike Best Structure Theory of Petri Nets: the Free Choice Hiatus. 168-205 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Best86a Jean-François Rey Burnside Monoids, Word Problem and the Conjecture of Brzozowski. 214-221 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Rey93 Antonio L. Perrone A Formal Scheme for Avoiding Undecidable Problems - Applications to Chaotic Behaviour, Characterization and Parallel Computation. 9-52 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#Perrone93 Saverio Cacopardi Fabrizio Frescura Gianluca Reali Increased Capacity of DS-CDMA Mobile Systems on Frequency-Selective Slow Fading Channels. 131-140 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#CacopardiFR94 Antoni W. Mazurkiewicz Trace Theory. 279-324 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Mazurkiewicz86 Marco Ajmone Marsan Andrea Bobbio Susanna Donatelli Petri Nets in Performance Analysis: An Introduction. 211-256 1996 Petri Nets db/conf/ac/petri1.html#MarsanBD96 César Fernández Non-sequential Processes. 95-115 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Fernandez86 Richard Hayton Andrew Herbert FlexiNet: A Flexible, Component-Oriented Middleware System. 497- 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520497.htm db/conf/ac/dc1999.html#HaytonH99 Berry Schoenmakers Security Aspects of the Ecash™ Payment System. 338-352 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280338.htm db/conf/ac/crypto1997.html#Schoenmakers97 Elmar Holler Multiple Copy Update. 284-307 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Holler80 Heinz Adolf Jung Degree Bounds for Long Paths and Cycles in k-Connected Graphs. 56-60 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220056.htm db/conf/ac/cdm2001.html#Jung01 George J. Klir The Role of Uncertainty Measures and Principles in AI. 245-254 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Klir92 Gérard Le Lann Motivations, Objectives and Characterization of Distributed Systems. 1-9 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Lann80 Gérard Le Lann Synchronization. 361-395 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Lann83 Günter M. Ziegler Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions. 159-172 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220159.htm db/conf/ac/cdm2001.html#Ziegler01 Jan Verschuren Security of Computer Networks. 163-185 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280163.htm db/conf/ac/crypto1997.html#Verschuren97 Wolfgang Bibel Methods of Automated Reasoning. 171-217 1985 Advanced Course: Fundamentals of Artificial Intelligence db/conf/ac/ai.html#Bibel85 Wolfgang Bibel Advanced Topics in Automated Deduction. 41-59 1987 conf/ac/1987acai Advanced Topics in Artificial Intelligence db/conf/ac/acai1987.html#Bibel87 Cédric Fournet Georges Gonthier The Join Calculus: A Language for Distributed Mobile Programming. 268-332 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950268.htm db/conf/ac/appsem2000.html#FournetG00 Peter Schramm Bit Error Probability of a Rapidly-Adapting Rake Receiver as a Function of Dwell Time. 242-250 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Schramm94 Günter Hommel Introduction. 1-6 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#Hommel84 C. A. Petri Introduction to General Net Theory. 1-19 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Petri75 C. A. Petri ``Forgotten Topics'' of Net Theory. 500-514 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Petri86 Klaus Voss Nets in Office Automation. 234-257 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Voss86a Claude Marché Normalized Rewriting - Application to Ground Completion and Standard Bases. 154-169 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Marche93 Luc Bougé David Cachera Yann Le Guyadec Gil Utard Bernard Virot Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. 252-281 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#BougeCGUV96 Vladimír Marík Tomás Vlcek Some Aspects of Knowledge Engineering. 316-337 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#MarikV92 Roberto Padovani The Capacity of CDMA Cellular: Reverse Link Field Test Results. 56-66 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Padovani94 Antti Valmari The State Explosion Problem. 429-528 1996 Petri Nets db/conf/ac/petri1.html#Valmari96 Bart De Decker Unix Security & Kerberos. 257-274 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Decker91 Bart De Decker Introduction to Computer Security. 377-393 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280377.htm db/conf/ac/crypto1997.html#Decker97 Davide Sorbara Monica Visintin Performance Comparison of GMSK and \pi/4-DQPSK Modulations in a Mobile Radio Environment. 310-321 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#SorbaraV94 Jerre D. Noe Abstractions of Net Models. 369-388 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Noe75a Jerre D. Noe Applications of Net-Based Models. 389-400 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Noe75b Jochen Ludewig Practical Methods and Tools for Specification. 174-207 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Ludewig86 Marcos A. Kiwi Frédéric Magniez Miklos Santha Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey. 30-83 2000 conf/ac/2000tacs Theoretical Aspects of Computer Science http://link.springer.de/link/service/series/0558/bibs/2292/22920030.htm db/conf/ac/tacs2000.html#KiwiMS00 Blaz Zupan Ivan Bratko Marko Bohanec Janez Demsar Function Decomposition in Machine Learning. 71-101 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490071.htm db/conf/ac/ml2001.html#ZupanBBD01 L. Levi F. Muratore G. Romano Simulation Results for a CDMA Interference Cancellation Technique in a Rayleigh Fading Channel. 162-171 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#LeviMR94 Géraud Sénizergues Formal Languages and Word-Rewriting. 75-94 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Senizergues93 David Hutchison Access Units. 87-107 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Hutchison83 Eike Best Raymond R. Devillers Maciej Koutny Petri Nets, Process Algebras and Concurrent Programming Languages. 1-84 1996 Petri Nets (2) db/conf/ac/petri2.html#BestDK96 Andrew M. Pitts Operational Semantics and Program Equivalence. 378-412 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950378.htm db/conf/ac/appsem2000.html#Pitts00 Riccardo De Gaudenzi Filippo Giannetti Performance Analysis of a CDMA-Based Satellite-Mobile Audio Broadcasting System. 400-416 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#GaudenziG94 Serge G. Petiton Nahid Emad A Data Parallel Scientific Computing Introduction. 45-64 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#PetitonE96 Jirí Lazanský Practical Applications of Planning Tasks. 238-244 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Lazansky92 Wolfgang Reisig Ekkart Kindler Tobias Vesper Hagen Völzer Rolf Walter Distributed Algorithms for Networks of Agents. 331-385 1996 Petri Nets (2) db/conf/ac/petri2.html#ReisigKVVW96 Didier Rémy Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. 413-536 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950413.htm db/conf/ac/appsem2000.html#Remy00 Hans-Rüdiger Wiehle On System Specifications. 547-582 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Wiehle78 Paulo Ferreira Marc Shapiro Xavier Blondel Olivier Fambon João Garcia Sytse Kloosterman Nicolas Richer Marcus Roberts Fadi Sandakly George Coulouris Jean Dollimore Paulo Guedes Daniel Hagimont Sacha Krakowiak PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store. 427-452 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520427.htm db/conf/ac/dc1999.html#FerreiraSBFGKRRSCDGHK99 Joseph Sifakis Performance Evaluation of Systems Using Nets. 307-319 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Sifakis75 Grzegorz Rozenberg Behaviour of Elementary Net Systems. 60-94 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Rozenberg86 Günter Rote Division-Free Algorithms for the Determinant and the Pfaffian: Algebraic and Combinatorial Approaches. 119-135 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220119.htm db/conf/ac/cdm2001.html#Rote01 Leon O. Chua Tamás Roska Tibor Kozek Cellular Neural Networks - A Tutorial on Programmable Nonlinear Dynamics in Space. 53-73 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#ChuaRK93 David B. Ingham Fabio Panzieri Santosh K. Shrivastava Constructing Dependable Web Services. 277-294 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520277.htm db/conf/ac/dc1999.html#InghamPS99 Gerry Kelleher The Application of Reason Maintenance Systems in Planning and Scheduling. 208-237 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Kelleher92 Michel Mouly Marie-Bernadette Pautet The Evolution of GSM. 13-20 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#MoulyP94 David J. Goodman Personal Communications. 1-12 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Goodman94 Luc Bougé The Data Parallel Programming Model: A Semantic Perspective. 4-26 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#Bouge96 Raymond T. Boute Elements for the Formal Description of Systems. 63-90 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Boute86 Olga Stepánková An Introduction to Qualitative Reasoning. 404-418 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Stepankova92 Ernst Specker Georges Wick Längen und Formeln. 182-217 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#SpeckerW76 Valérie Issarny Michel Banâtre Boris Charpiot Jean-Marc Menaud Quality of Service and Electronic Newspaper: The Etel Solution. 472-496 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520472.htm db/conf/ac/dc1999.html#IssarnyBCM99 János Komlós Ali Shokoufandeh Miklós Simonovits Endre Szemerédi The Regularity Lemma and Its Applications in Graph Theory. 84-112 2000 conf/ac/2000tacs Theoretical Aspects of Computer Science http://link.springer.de/link/service/series/0558/bibs/2292/22920084.htm db/conf/ac/tacs2000.html#KomlosSSS00 Valérie Issarny Luc Bellissard Michel Riveill Apostolos Zarras Component-Based Programming of Distributed Applications. 327-353 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520327.htm db/conf/ac/dc1999.html#IssarnyBRZ99 A. J. Herbert The Cambridge Distributed Computing System. 282-312 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Herbert83 P. L. Higginson Wide Area Internetworking. 428-456 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Higginson83 Sergios Theodoridis Konstantinos Koutroumbas Pattern Recognition and Neural Networks. 169-195 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490169.htm db/conf/ac/ml2001.html#TheodoridisK01 Ibrahim Ghareeb Abbas Yongaçoglu Joint Frequency-Phase Modulation over Rayleigh Fading Channels. 101-112 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#GhareebY94 Mogens Nielsen Vladimiro Sassone Petri Nets and Other Models of Concurrency. 587-642 1996 Petri Nets db/conf/ac/petri1.html#NielsenS96 Richard F. Rashid Network Operating Systems. 313-360 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Rashid83 Donald W. Davies Richard W. Watson Hierarchy. 94-139 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#DaviesW80 Amos Lapidoth Convolutional Codes and Finite Interleavers for the Block Erasure Channel. 113-120 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Lapidoth94 Rüdiger Valk Nets in Computer Organisation. 218-233 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Valk86 Frank Kriwaczek An Introduction to Constraint Logic Programming. 82-94 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Kriwaczek92 David Chaum Numbers Can Be a Better Form of Cash than Paper. 174-178 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Chaum91 Richard W. Watson Distibuted System Architecture Model. 10-43 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Watson80 Manfred Broy Thomas Streicher Views of Distributed Systems. 114-143 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#BroyS86 Igor Mozetic Model-Based Diagnosis: An Overview. 419-430 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Mozetic92 Ivan Bruha Pre- and Post-processing in Machine Learning and Data Mining. 258-266 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490258.htm db/conf/ac/ml2001.html#Bruha01 Klaus Vedder International Standardisation of IT Security. 353-365 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280353.htm db/conf/ac/crypto1997.html#Vedder97a Klaus Vedder Franz Weikmann Smart Cards - Requirements, Properties, and Applications. 307-331 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280307.htm db/conf/ac/crypto1997.html#VedderW97 Klaus Voss Nets in Data Bases. 97-134 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Voss86 P. Mehring E. Aposporidis Multi-Level Simulator for VLSI. 373-386 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#MehringA86 Erik De Win Bart Preneel Elliptic Curve Public-Key Cryptosystems - An Introduction. 131-141 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280131.htm db/conf/ac/crypto1997.html#WinP97 Grazyna Mirkowska Andrzej Salwicki On Axiomatic Definition of Max-Model of Concurrency. 199-230 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#MirkowskaS86 Mogens Nielsen CCS - and its Relationship to Net Theory. 393-415 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Nielsen86 Robert Schreiber An Introduction to HPF. 27-44 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#Schreiber96 Peter Schuster Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind. 36-48 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Schuster76 Stefan Wolf Unconditional Security in Cryptography. 217-250 http://link.springer.de/link/service/series/0558/bibs/1561/15610217.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Wolf98 Hartmann J. Genrich Predicate/Transition Nets. 207-247 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Genrich86 Mark P. Hoyle Chris J. Mitchell On Solutions to the Key Escrow Problem. 277-306 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280277.htm db/conf/ac/crypto1997.html#HoyleM97 Gerard J. M. Janssen Patrick A. Stigter Ramjee Prasad A Model for BER Evaluation of Indoor Frequency Selective Channels Using Multipath Measurement Results at 2.4, 4.75 and 11.5 GHz. 344-355 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#JanssenSP94 Bart De Schutter Trends in the Fight Against Computer-Related Delinquency. 3-19 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Schutter91 Bart De Schutter Trends in the Fight Against Computer-Related Delinquency. 1-17 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280001.htm db/conf/ac/crypto1997.html#Schutter97 Susanna Donatelli Giuliana Franceschinis Modelling and Analysis of Distributed Software Using GSPNs. 438-476 1996 Petri Nets (2) db/conf/ac/petri2.html#DonatelliF96 Fabio Panzieri Marco Roccetti Responsive Protocols for Distributed Multimedia Applications. 157-181 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520157.htm db/conf/ac/dc1999.html#PanzieriR99 Rachid Guerraoui Michel Hurfin Achour Mostéfaoui Riucarlos Oliveira Michel Raynal André Schiper Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. 33-47 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520033.htm db/conf/ac/dc1999.html#GuerraouiHMORS99 M. J. McCullagh D. R. Wisely P. L. Eardly P. P. Smyth A 50 Mbit/s Optical Wireless LAN Link Using Novel Optical and Electronic Enabling Technologies. 298-309 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#McCullaghWES94 Anna Labella Alberto Pettorossi Universal Models in Categories for Process Synchronization. 183-198 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#LabellaP86 Ernest A. Edmonds Bryan S. Murray Intelligent Presentation and Dialogue Management. 465-476 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#EdmondsM92 Konrad Zuse Petri-Nets from the Engineer's Viewpoint. 441-479 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Zuse75 Anita K. Jones Protection Mechanisms and the Enforcement of Security Policies. 228-251 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Jones78a Luís Rodrigues Paulo Verissimo Topology-Aware Algorithms for Large-Scale Communication. 127-156 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520127.htm db/conf/ac/dc1999.html#RodriguesV99 Mark E. Stickel An Introduction to Automated Deduction. 75-132 1985 Advanced Course: Fundamentals of Artificial Intelligence db/conf/ac/ai.html#Stickel85 Matthias Jantzen Complexity of Place/Transition Nets. 413-434 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Jantzen86a Matthias Jantzen Rüdiger Valk Formal Properties of Place/Transition Nets. 165-212 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#JantzenV75 François J. N. Cosquer Paulo Verissimo Sacha Krakowiak Loïc Decloedt Support for Distributed CSCW Applications. 295-326 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520295.htm db/conf/ac/dc1999.html#CosquerVKD99 Manuel Silva Enrique Teruel José Manuel Colom Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. 309-373 1996 Petri Nets db/conf/ac/petri1.html#SilvaTC96 Steve J. Caughey Daniel Hagimont David B. Ingham Deploying Distributed Objects on the Internet. 213-237 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520213.htm db/conf/ac/dc1999.html#CaugheyHI99 R. J. Karia Towards a Parallel Architecture for Functional Languages. 270-285 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#Karia86 Mohammad Amin Shokrollahi An Introduction to Low-Density Parity-Check Codes. 175-197 2000 conf/ac/2000tacs Theoretical Aspects of Computer Science http://link.springer.de/link/service/series/0558/bibs/2292/22920175.htm db/conf/ac/tacs2000.html#Shokrollahi00 Hartmann J. Genrich E. Stankiewicz-Wiechno A Dictionary of Some Basic Notions of Net Theory. 519-531 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#GenrichS75 Jörg Desel Wolfgang Reisig Place or Transition Petri Nets. 122-173 1996 Petri Nets db/conf/ac/petri1.html#DeselR96 Fulvio Babich Contention Resolution Multiple Access Techniques for Handling Speech and Data Traffic on Wireless Networks. 476-487 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Babich94 Ernst Specker Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme. 72-85 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Specker76 Jean-Pierre Jouannaud Introduction to Rewriting. 1-15 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Jouannaud93 Anita K. Jones The Object Model: A Conceptual Tool for Structuring Software. 7-16 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Jones78 Simon L. Peyton Jones Functional Programming Languages as a Software Engineering Tool. 153-173 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Jones86 Claude-André Christen Spektralproblem und Komplexitätstheorie. 102-126 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Christen76 Jörg Desel Basic Linear Algebraic Techniques for Place or Transition Nets. 257-308 1996 Petri Nets db/conf/ac/petri1.html#Desel96 Gérard Roucairol FIFO-Nets. 436-459 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Roucairol86 Nikolaos Hatziargyriou Machine Learning Applications to Power Systems. 308-317 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490308.htm db/conf/ac/ml2001.html#Hatziargyriou01 Yves Lafont Equational Reasoning with Two-Dimensional Diagrams. 170-195 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Lafont93 Ernst-Rüdiger Olderog TCSP: Theory of Communicating Sequential Processes. 441-465 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Olderog86 Gerard Lallement The Word Problem for Thue Rewriting Systems. 27-38 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Lallement93 George D. Magoulas Andriana Prentza Machine Learning in Medical Applications. 300-307 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490300.htm db/conf/ac/ml2001.html#MagoulasP01 Luca Aceto Rocco De Nicola Alessandro Fantechi Testing Equivalences for Event Structures. 1-20 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#AcetoNF86 Peter Landrock TTPs Overview - Concepts and Review of the State of Art from a Technical Point of View. 241-263 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280241.htm db/conf/ac/crypto1997.html#Landrock97 Peter Landrock Primality Tests and Use of Primes in Public-Key Systems. 127-133 http://link.springer.de/link/service/series/0558/bibs/1561/15610127.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Landrock98 Sergio Bittanti Paolo Bolzern E. Pedrotti M. Pozzi Riccard Scattolini A Flexible Modelling Approach for Software Reliability Growth. 101-140 1987 conf/ac/1987sr Software Reliability Modelling and Identification db/conf/ac/sr1987.html#BittantiBPPS87 Mack W. Alford A Graph Model Based Approach to Specifications. 131-201 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#Alford84 Antonio Valdovinos Fernando J. Casadevall Performance of Adaptive Equalization in Typical Indoor Environments Including Non-Linear Power Amplifiers. 219-229 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#ValdovinosC94 Mark C. Little Santosh K. Shrivastava Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects. 238-253 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520238.htm db/conf/ac/dc1999.html#LittleS99 José Cuena Architectures for Second Generation Knowledge Based Systems. 373-403 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Cuena92 Ronald Cramer Introduction to Secure Computation. 16-62 http://link.springer.de/link/service/series/0558/bibs/1561/15610016.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Cramer98 Hans Jürgen Prömel Anusch Taraz Random Graphs, Random Triangle-Free Graphs, and Random Partial Orders. 98-118 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220098.htm db/conf/ac/cdm2001.html#PromelT01 Paulo Verissimo Michel Raynal Time in Distributed System Models and Algorithms. 1-32 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520001.htm db/conf/ac/dc1999.html#VerissimoR99 Jan Tarski Historical Background of Gödel's Theorem. 3-7 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#Tarski93 W. D. Shepherd Lan Internetworking. 396-427 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Shepherd83 Egidio Astesiano Gianna Reggio An Qutline of the SMoLCS Approach. 81-113 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#AstesianoR86 Giuliana Franceschinis Marina Ribaudo Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. 386-437 1996 Petri Nets (2) db/conf/ac/petri2.html#FranceschinisR96 Elmar Holler The National Software Works (NSW). 421-445 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Holler80a Holger Opderbeck Common Carrier Provided Network Interfaces. 482-516 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Opderbeck78 Stephen D. Lingwood A 65-MHz Digital Chip-Matched-Filter for DS-Spread Spectrum Applications. 522-528 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Lingwood94 Paul Feautrier Automatic Parallelization in the Polytope Model. 79-103 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#Feautrier96 Jerome H. Saltzer Research Problems of Decentralized Systems with Largely Autonomous Nodes. 583-593 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Saltzer78a D. W. Bennett P. B. Kenington R. J. Wilkinson The Effect of Modulation on the Power Rating of Multi-Channel Linear Amplifiers. 322-333 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#BennettKW94 Grzegorz Rozenberg Joost Engelfriet Elementary Net Systems. 12-121 1996 Petri Nets db/conf/ac/petri1.html#RozenbergE96 John F. Shoch Yogen K. Dalal David D. Redell Ronald C. Crane The Ethernet. 1-35 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#ShochDRC83 Wim Van Laer Luc De Raedt How to Upgrade Propositional Learners to First Order Logic: A Case Study. 102-126 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490102.htm db/conf/ac/ml2001.html#LaerR01 Spase L. Drakul Ezio Biglieri Design and Performance of an 8-Dimensional Modulation Scheme. 141-149 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#DrakulB94 Nick Benton John Hughes Eugenio Moggi Monads and Effects. 42-122 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950042.htm db/conf/ac/appsem2000.html#BentonHM00 Gérard Le Lann Link Level. 86-93 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Lann80a Gérard Le Lann Synchronization. 266-283 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Lann80b Gérard Le Lann Error Recovery. 371-376 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Lann80c Gérard Le Lann Real-Time Protocols. 457-469 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Lann83a Fabrizio Baiardi Marco Vanneschi Parallelism Issues in Multi-Style Computers. 1-34 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#BaiardiV86 Grigoris J. Karakoulas Giovanni Semeraro Machine Learning for Intelligent Information Access. 274-280 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490274.htm db/conf/ac/ml2001.html#KarakoulasS01 Philippe Balbiani Luis Fariñas del Cerro Affine Geometry of Collinearity and Conditional Term Rewriting. 196-213 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#BalbianiC93 Werner E. Kluge Reduction, Data Flow and Control Flow Models of Computation. 466-498 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Kluge86 Stefan Wimbauer J. Leo van Hemmen Hebbian Unlearning. 121-136 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#WimbauerH93 Wolfgang Fichtner Design of VLSI Systems. 6-17 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Fichtner86 Klaus Lagally Synchronization in a Layered System. 252-281 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Lagally78 Andrew J. Viterbi Audrey M. Viterbi Klein S. Gilhousen Ephraim Zehavi Soft Handoff Extends CDMA Cell Coverage and Increase Reverse Link Capacity. 541-551 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#ViterbiVGZ94 M. G. Sami N. Scarabottolo Fault-Tolerance in Parallel Architectures. 349-372 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#SamiS86 Jim Doran Distributed AI and its Applications. 368-372 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Doran92 Michel Sintzoff Frédéric Geurts Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition. 227-260 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#SintzoffG93 Bev Littleword Forecasting Software Reliability. 141-206 1987 conf/ac/1987sr Software Reliability Modelling and Identification db/conf/ac/sr1987.html#Littleword87 Jean-Marc Menaud Valérie Issarny Michel Banâtre Improving the Effectiveness of Web Caching. 375-401 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520375.htm db/conf/ac/dc1999.html#MenaudIB99 Werner Bux Felix Closs Karl Kümmerle Hans R. Mueller The Token Ring. 36-63 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#BuxCKM83 Pavel Brazdil Approaches to Inductive Logic Programming. 139-160 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Brazdil92 Leslie Lamport Fred B. Schneider Formal Foundation for Specification and Verification. 203-285 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#LamportS84 Zdenek Kouba Data Analysis and Uncertainty Processing. 308-315 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Kouba92 Tor Helleseth Codes over Z<sub>4</sub>. 47-55 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220047.htm db/conf/ac/cdm2001.html#Helleseth01 Pascal Felber Rachid Guerraoui André Schiper Replication of CORBA Objects. 254-276 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520254.htm db/conf/ac/dc1999.html#FelberGS99 Philippe Jorrand Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2. 221-276 1985 Advanced Course: Fundamentals of Artificial Intelligence db/conf/ac/ai.html#Jorrand85 Philippe Jorrand Fundamental Mechanisms for Artificial Intelligence Programming Language - An Introduction. 1-40 1987 conf/ac/1987acai Advanced Topics in Artificial Intelligence db/conf/ac/acai1987.html#Jorrand87 Kenneth J. Thurber Hardware Interconnection Technology. 57-85 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Thurber80a Kenneth J. Thurber Hardware Issues. 377-412 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Thurber80b Kenneth J. Thurber Advanced Course on Distributed Systems: Conclusions. 486-492 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Thurber80c Eva Hajicová Linguistic Aspects of Natural Language Processing. 477-484 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Hajicova92 Fabio Panzieri Communications Protocols. 162-220 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Panzieri83 Andrea Baiocchi Francesco Delli Priscoli Francesco Grilli Fabrizio Sestini The Geometric Dynamic Channel Allocation Strategy for High Traffic FDM/TDMA Mobile Communications Networks. 33-44 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#BaiocchiPGS94 Wim Bronnenberg M. D. Janssens Eddy Odijk R. A. H. van Twist The Architecture of DOOM. 227-269 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#BronnenbergJOT86 Louis Salvail The Search for the Holy Grail in Quantum Cryptography. 183-216 http://link.springer.de/link/service/series/0558/bibs/1561/15610183.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Salvail98 Jerome H. Saltzer Naming and Binding of Objects. 99-208 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Saltzer78 Gérard Berthelot Gérard Roucairol Rüdiger Valk Reductions of Nets and Parallel Prgrams. 277-290 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#BerthelotRV75 Eric Badouel Philippe Darondeau Theory of Regions. 529-586 1996 Petri Nets db/conf/ac/petri1.html#BadouelD96 Butler W. Lampson Ethernet, Pup and Violet. 446-485 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Lampson80a Abbas Edalat Reinhold Heckmann Computing with Real Numbers. 193-267 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950193.htm db/conf/ac/appsem2000.html#EdalatH00 Kenneth J. Thurber Interprocess Communication Layer: Introduction. 44-56 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Thurber80 Antoon Bosselaers René Govaerts Joos Vandewalle Cryptography Within Phase I of the EEC-RACE Programme. 227-234 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#BosselaersGV91 Butler W. Lampson Atomic Transactions. 246-265 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Lampson80 Homayoun Hashemi Gang Yun Mohsen Kavehrad Farbod Behbahani Peter Galko Frequency Response Measurements of the Wireless Indoor Channel at Infrared Optics. 273-284 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#HashemiYKBG94 Ermanno Berruto T. Brännlund J. Gustafsson D. Maiwald Wolfgang Schott P. Whitworth Radio Protocol Architecture of the CODIT UMTS System. 417-427 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#BerrutoBGMSW94 Werner E. Kluge Claudia Schmittgen Reduction Languages and Reduction Systems. 153-184 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#KlugeS86 Radim Jirousek Introduction to Probabilistic Methods of Knowledge Representation and Processing. 255-285 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Jirousek92 Miroslav Kubat Introduction to Machine Learning. 104-138 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Kubat92 Gerald J. Popek Charles S. Kline Design Issues for Secure Computer Networks. 517-546 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#PopekK78a Jan Verschuren René Govaerts Joos Vandewalle ISO-OSI Security Architecture. 179-192 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#VerschurenGV91 James G. Mitchell File Servers. 221-259 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Mitchell83 Pat Langley The Computational Support of Scientific Discovery. 230-248 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490230.htm db/conf/ac/ml2001.html#Langley01 Robert Saunders Luis Lopes Performance of Cellular Radio Systems with Power Control in Varying Shadow Fading Environments. 376-390 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#SaundersL94 Giuseppe Attardi Concurrency in a Knowledge Base. 401-415 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#Attardi86 Stephen R. Kimbleton Pearl Y. Wang Butler W. Lampson Applications and Protocols. 308-370 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#KimbletonWL80 Joan Daemen Management of Secret Keys: Dynamic Key Handling. 264-276 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280264.htm db/conf/ac/crypto1997.html#Daemen97 Gernot Stroth Algorithms in Pure Mathematics. 148-158 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220148.htm db/conf/ac/cdm2001.html#Stroth01 Charles J. Colbourn Multiple Access Communications Using Combinatorial Designs. 1-29 2000 conf/ac/2000tacs Theoretical Aspects of Computer Science http://link.springer.de/link/service/series/0558/bibs/2292/22920001.htm db/conf/ac/tacs2000.html#Colbourn00 Petr Kurka Simplicity Criteria for Dynamical Systems. 189-225 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#Kurka93 Philip C. Treleaven Apostolos Nikolaos Refenes Kenneth J. Lees Stephen C. McCabe Computer Architectures for Artificial Intelligence. 416-482 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#TreleavenRLM86 Günter Hommel Language Constructs for Distributed Programs. 287-341 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#Hommel84a Gilles Barthe Peter Dybjer Luis Pinto João Saraiva Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures APPSEM Lecture Notes in Computer Science 2395 Springer 2002 3-540-44044-5 db/conf/ac/appsem2000.html Harry Rudin Tools for Protocols Driven by Formal Specifications. 127-152 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Rudin86 D. Cygan F. David H. J. Eul J. Hofmann N. Metzner W. Mohr RACE-II Advanced TDMA Mobile Access Project - An Approach for UMTS. 428-439 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#CyganDEHMM94 Giorgio De Michelis Clarence A. Ellis Computer Supported Cooperative Work and Petri Nets. 125-153 1996 Petri Nets (2) db/conf/ac/petri2.html#MichelisE96 Guy-René Perrin Introduction. 1-3 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#Perrin96 Joos Heintz Untere Schranken für die Komplexität logischer Entscheidungsprobleme. 127-137 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Heintz76 L. Vandendorpe Multitone Spread Spectrum Communication Systems in a Multipath Rician Fading Channel. 440-451 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Vandendorpe94 Nikolaos Vassilas Elias Kalapanidas Nikolaos M. Avouris Stavros J. Perantonis Intelligent Techniques for Spatio-Temporal Data Analysis in Environmental Applications. 318-324 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490318.htm db/conf/ac/ml2001.html#VassilasKAP01 David May Roger Shepherd Catherine Keane Communicating Process Architecture: Transputers and Occam. 35-81 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#MaySK86 Bart Preneel René Govaerts Joos Vandewalle Information Authentication: Hash Functions and Digital Signatures. 87-131 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#PreneelGV91 J. Leo van Hemmen Raphael Ritz Neural Coding - A Theoretical Vista of Mechanisms, Techniques, and Applications. 75-119 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#HemmenR93 Bart Preneel Vincent Rijmen Antoon Bosselaers Recent Developments in the Design of Conventional Cryptographic Algorithms. 105-130 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280105.htm db/conf/ac/crypto1997.html#PreneelRB97 Bernhard Mayr Hans Weinrichter Fractional-Rate Hybrid PSK-TCM Codes for the Rayleigh Fading Channel. 121-130 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#MayrW94 Joachim von zur Gathen Malte Sieveking Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben. 49-71 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#GathenS76 Robert H. Gilman Automatic Groups and String Rewriting. 127-134 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Gilman93 Umesh V. Vazirani Fourier Transforms and Quantum Computation. 208-220 2000 conf/ac/2000tacs Theoretical Aspects of Computer Science http://link.springer.de/link/service/series/0558/bibs/2292/22920208.htm db/conf/ac/tacs2000.html#Vazirani00a Nachum Dershowitz Examples of Termination. 16-26 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Dershowitz93 Toshinori Suzuki Toshio Mizuno Multiple-Symbol Differential Detection Scheme for Differential Amplitude Modulation. 196-207 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#SuzukiM94 Matthias Jantzen Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research. 507-517 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Jantzen75 Matthias Jantzen Language Theory of Petri Nets. 397-412 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Jantzen86 C. A. Petri Concurrency. 251-260 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Petri75a C. A. Petri Concurrency Theory. 4-24 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Petri86a Albert T. Kündig Richard E. Bührer Jacques Dähler Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986 Embedded Systems Lecture Notes in Computer Science 284 Springer 1987 3-540-18581-X db/conf/ac/esys1986.html Raymond T. Boute An Introduction to System Semantics. 91-107 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Boute86a Raymond T. Boute Functional Formalisms for System Description: Current Research Topics. 108-126 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Boute86b Rolf Nossum Advanced Topics in Artificial Intelligence, 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987 Advanced Topics in Artificial Intelligence Lecture Notes in Computer Science 345 Springer 1988 3-540-50676-4 db/conf/ac/acai1987.html Einar Smith Principles of High-Level Net Theory. 174-210 1996 Petri Nets db/conf/ac/petri1.html#Smith96 Olga Stepánková Petr Stepánek Prolog: A Step towards the Future of Programming. 50-81 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#StepankovaS92 Gérard Memmi Gérard Roucairol Linear Algebra in Net Theory. 213-223 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#MemmiR75 Gérard Memmi Jacques Vautherin Analysing Nets by the Invariant Method. 300-336 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#MemmiV86 Mark C. Little Stuart M. Wheater David B. Ingham C. Richard Snow Harry Whitfield Santosh K. Shrivastava The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components. 453-471 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520453.htm db/conf/ac/dc1999.html#LittleWISWS99 Bart Preneel René Govaerts Joos Vandewalle Computer Security and Industrial Cryptography - State of the Art and Evolution, ESAT Course, Leuven, Belgium, May 21-23, 1991 Computer Security and Industrial Cryptography Lecture Notes in Computer Science 741 Springer 1993 3-540-57341-0 db/conf/ac/esat1991.html Stuart M. Wheater Santosh K. Shrivastava Frédéric Ranno OPENflow: A CORBA Based Transactional Workflow System. 354-374 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520354.htm db/conf/ac/dc1999.html#WheaterSR99 Stig I. Andersson Analysis of Dynamical and Cognitive Systems, Advanced Course, Stockholm, Sweden, August 9-14, 1993, Proceedings Analysis of Dynamical and Cognitive Systems Lecture Notes in Computer Science 888 Springer 1995 3-540-58843-4 db/conf/ac/adcs1993.html Johan van Tilburg Secret-Key Exchange with Authentication. 71-86 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Tilburg91 Gilles Barthe Thierry Coquand An Introduction to Dependent Type Theory. 1-41 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950001.htm db/conf/ac/appsem2000.html#BartheC00 Guy-René Perrin Alain Darte The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications The Data Parallel Programming Model Lecture Notes in Computer Science 1132 Springer 1996 3-540-61736-1 db/conf/ac/data1996.html Wolfgang Bibel Franz Kurfess K. Aspetsberger P. Hintenaus Johann Schumann Parallel Inference Machines. 185-226 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#BibelKAHS86 Marijke De Soete Public Key Cryptography. 33-49 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Soete91 Rudolf Bayer Robert M. Graham Jerome H. Saltzer Gerhard Seegmüller Operating Systems, An Advanced Course - Introduction. 1-6 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#BayerGSS78 Robert Trappl AI: Introduction, Paradigms, Applications (Including CBR), Impacts, Visions. 1-24 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Trappl92 Peter Nilsson Mats Torkelson Kent Palmkvist Mark Vesterbacka Lars Wanhammer A Bit-Serial CMOS Digital IF-Filter for Mobile Radio Using an On-Chip Clock. 510-521 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#NilssonTPVW94 Kurt Lautenbach Linear Algebraic Techniques for Place/Transition Nets. 142-167 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Lautenbach86 Javier Esparza Decidability and Complexity of Petri Net Problems - An Introduction. 374-428 1996 Petri Nets db/conf/ac/petri1.html#Esparza96 David W. Roberts Evaluation Criteria for IT Security. 151-161 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Roberts91 David W. Roberts Security Management - The Process. 366-376 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280366.htm db/conf/ac/crypto1997.html#Roberts97 Wolfgang Reisig Petri Nets in Software Engineering. 63-96 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Reisig86 Wilfried Brauer Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 Advanced Course: Net Theory and Applications 1975 Lecture Notes in Computer Science 84 Springer 1980 3-540-10001-6 db/conf/ac/nt.html Michael J. Flynn Jim Gray Anita K. Jones Klaus Lagally Holger Opderbeck Gerald J. Popek Brian Randell Jerome H. Saltzer Hans-Rüdiger Wiehle Operating Systems, An Advanced Course Advanced Course: Operating Systems Lecture Notes in Computer Science 60 Springer 1978 3-540-08755-9 db/conf/ac/os.html Sergio Bittanti Software Reliability Modelling and Identification [Como, Italy, September 2-4, 1987] Software Reliability Modelling and Identification Lecture Notes in Computer Science 341 Springer 1988 3-540-50695-0 db/conf/ac/sr1987.html Vladimír Marík Olga Stepánková Robert Trappl Advanced Topics in Artificial Intelligence, International Summer School, Prague, Czechoslovakia, July 6-17, 1992, Proceedings Advanced Topics in Artificial Intelligence Lecture Notes in Computer Science 617 Springer 1992 3-540-55681-8 db/conf/ac/ai1992.html Hubert Comon Jean-Pierre Jouannaud Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course Term Rewriting Lecture Notes in Computer Science 909 Springer 1995 3-540-59340-3 db/conf/ac/tr1993.html Christoph G. Günther Mobile Communications: Advanced Systems and Components, 1994 International Zurich Seminar on Digital Communications, Zurich Switzerland, March 8-11, 1994, Proceedings Mobile Communications Lecture Notes in Computer Science 783 Springer 1994 3-540-57856-0 db/conf/ac/mc1994.html Jean-Yves Girard Linear Logic and Parallelism. 166-182 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#Girard86 P. S. Thiagarajan Elementary Net Systems. 26-59 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Thiagarajan86 Lorenza Saitta Integrated Architectures for Machine Learning. 218-229 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490218.htm db/conf/ac/ml2001.html#Saitta01 Mack W. Alford Leslie Lamport Geoff P. Mullery Basic Concepts. 7-43 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#AlfordLM84 Barbara Liskov The Argus Language and System. 343-430 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#Liskov84 Cipriano R. A. T. Lomba Rui Valadas A. M. de Oliveira Duarte Propagation Losses and Impulse Response of the Indoor Optical Channel: A Simulation Package. 285-297 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#LombaVD94 Björn Lisper Data Parallelism and Functional Programming. 220-251 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#Lisper96 Hans C. Jessen Georgios Paliouras Data Mining in Economics, Finance, and Marketing. 295-299 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490295.htm db/conf/ac/ml2001.html#JessenP01 Jens Erik Fenstad Natural Language Systems. 189-231 1987 conf/ac/1987acai Advanced Topics in Artificial Intelligence db/conf/ac/acai1987.html#Fenstad87 Jean-Luc Dekeyser Philippe Marquet Supporting Irregular and Dynamic Computations in Data Parallel Languages. 197-219 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#DekeyserM96 Gérard Berthelot Transformations and Decompositions of Nets. 359-376 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Berthelot86 S. Kazem Lellahi Modeling Data and Objects: An Algebraic View Point. 113-147 2000 conf/ac/2000tacs Theoretical Aspects of Computer Science http://link.springer.de/link/service/series/0558/bibs/2292/22920113.htm db/conf/ac/tacs2000.html#Lellahi00 Sam Steel Topics in Planning. 146-188 1987 conf/ac/1987acai Advanced Topics in Artificial Intelligence db/conf/ac/acai1987.html#Steel87 Sam Steel Notes on Current Trends in AI Planning. 198-207 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Steel92 Bruno Courcelle Graph Rewriting: A Bibliographical Guide. 74 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Courcelle93 Themis Panayiotopoulos Nick Z. Zacharis Machine Learning and Intelligent Agents. 281-285 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490281.htm db/conf/ac/ml2001.html#PanayiotopoulosZ01 Ramon López de Mántaras Case-Based Reasoning. 127-145 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490127.htm db/conf/ac/ml2001.html#Mantaras01 Roger M. Needham Protection. 260-281 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Needham83 Michael J. Flynn Computer Organization and Architecture. 17-98 1978 conf/ac/1978os Advanced Course: Operating Systems db/conf/ac/os.html#Flynn78 Peter Dybjer Andrzej Filinski Normalization and Partial Evaluation. 137-192 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950137.htm db/conf/ac/appsem2000.html#DybjerF00 Fabien Coelho Cécile Germain Jean-Louis Pazat State of the Art in Compiling HPF. 104-133 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#CoelhoGP96 Burton S. Kaliski Jr. Emerging Standards for Public-Key Cryptography. 87-104 http://link.springer.de/link/service/series/0558/bibs/1561/15610087.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Kaliski98 Anthony S. Acampora Mahmoud Naghshineh An Architecture and Methodology for Mobile-Executed Cell Hand-off in Wireless ATM Networks. 552-561 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#AcamporaN94 Lars R. Knudsen Block Ciphers - A Survey. 18-48 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280018.htm db/conf/ac/crypto1997.html#Knudsen97 Lars R. Knudsen Contemporary Block Ciphers. 105-126 http://link.springer.de/link/service/series/0558/bibs/1561/15610105.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Knudsen98 Theodoros Evgeniou Massimiliano Pontil Support Vector Machines: Theory and Applications. 249-257 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490249.htm db/conf/ac/ml2001.html#EvgeniouP01 Ryszard S. Michalski Kenneth A. Kaufman Learning Patterns in Noisy Data: The AQ Approach. 22-38 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490022.htm db/conf/ac/ml2001.html#MichalskiK01 Rolf H. Möhring Scheduling under Uncertainty: Bounding the Makespan Distribution. 79-97 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220079.htm db/conf/ac/cdm2001.html#Mohring01 John R. Gurd P. M. C. C. Barahona A. P. Wim Böhm Chris C. Kirkham A. J. Parker John Sargeant Fine-Grain Parallel Computing: The Dataflow Approach. 82-152 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#GurdBBKPS86 Gregor von Bochmann Specification in Distributed Systems. 470-497 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#Bochmann83 Albert T. Kündig A Note on the Meaning of "Embedded Systems". 1-5 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Kundig86 Nikos Fakotakis Kyriakos N. Sgarbas Machine Learning in Human Language Technology. 267-273 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490267.htm db/conf/ac/ml2001.html#FakotakisS01 Paolo Ciancarini Andrea Giovannini Davide Rossi Mobility and Coordination for Distributed Java Applications. 402-426 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520402.htm db/conf/ac/dc1999.html#CiancariniGR99 Erik G. Ström Stefan Parkvall Björn E. Ottersten Near-Far Resistant Propagation Delay Estimators for Asynchronous Direct-Sequence Code Division Multiple Access Systems. 251-260 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#StromPO94 Gregory J. Chaitin The Limits of Mathematics - Course Outline and Software (Abstract). 1 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#Chaitin93 Yves Kodratoff Comparing Machine Learning and Knowledge Discovery in DataBases: An Application to Knowledge Discovery in Texts. 1-21 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490001.htm db/conf/ac/ml2001.html#Kodratoff01 Donald W. Davies Protection. 211-245 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Davies80 Yuri Matiyasevich Word Problem for Thue Systems with a Few Relations. 39-53 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Matiyasevich93 Marc Geoffroy Ronny Bjones Hedwig Cnudde AXYTRANS: Physical Funds Transport and DES. 244-256 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#GeoffroyBC91 G. B. Khosrovshahi Ali Shokoufandeh Mohammad Amin Shokrollahi Theoretical Aspects of Computer Science, Advanced Lectures [First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000] Theoretical Aspects of Computer Science Lecture Notes in Computer Science 2292 Springer 2002 3-540-43328-7 db/conf/ac/tacs2000.html R. Banerjee W. D. Shepherd The Cambridge Ring. 64-86 1983 Advanced Course: Local Area Networks db/conf/ac/lan.html#BanerjeeS83 Ivan Bratko Dynamic System Simulation with Qualitative Differential Equations. 431-439 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Bratko92 Ralf Kattenbach Henning Früchting Measuring Bit Errors, Clock Errors and Their Burst Characteristics in Mobile Communication Systems. 356-364 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#KattenbachF94 Wolfgang K. Giloi Interconnection Networks for Massively Parallel Computer Systems. 321-348 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#Giloi86 Werner Baumberger Hans Kaufmann Monolithic Integration of a Spread-Spectrum Transmitter and Receiver Front End for Wireless LAN Applications. 501-509 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#BaumbergerK94 Maarten van Someren Model Class Selection and Construction: Beyond the Procrustean Approach to Machine Learning Applications. 196-217 2001 conf/ac/2001 Machine Learning and Its Applications http://link.springer.de/link/service/series/0558/bibs/2049/20490196.htm db/conf/ac/ml2001.html#Someren01 Jean-Pierre Ansart Issues and Tools for Protocol Specification. 481-538 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#Ansart84 Martin Fürer Simulation von Turingmaschinen mit logischen Netzen. 163-181 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Furer76a Frits Feldbrugge Kurt Jensen Petri Net Tool Overview 1986. 20-61 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#FeldbruggeJ86 Walter Fumy (Local Area) Network Security. 211-226 1991 conf/ac/1991esat Computer Security and Industrial Cryptography db/conf/ac/esat1991.html#Fumy91a Walter Fumy Internet Security Protocols. 186-208 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280186.htm db/conf/ac/crypto1997.html#Fumy97a Risto Wichmann Jorma Lilleberg Yrjö Neuvo Matched Median Detectors for Synchronous Direct-Sequence Multiple-Access Communications. 172-183 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#WichmannLN94 Glynn Winskel Event Structures. 325-392 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Winskel86 Martin Fürer Polynomiale Transformationen und Auswahlaxiom. 86-101 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Furer76 Paul D. Ezhilchelvan Santosh K. Shrivastava Enhancing Replica Management Services to Cope with Group Failures. 79-103 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520079.htm db/conf/ac/dc1999.html#EzhilchelvanS99 Alex Häussler Polynomial bescränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems. 20-35 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Haussler76 Lazaros F. Merakos Fayu Li Integrating Data Traffic in Enhanced-TDMA Digital Cellular Systems. 21-32 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#MerakosL94 E. Douglas Jensen Distributed Control. 175-190 1980 Advanced Course: Distributed Systems db/conf/ac/ds.html#Jensen80 Kurt Jensen Computer Tools for Construction, Modification and Analysis of Petri Nets. 4-19 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Jensen86 Kurt Jensen An Introduction to the Practical Use of Coloured Petri Nets. 237-292 1996 Petri Nets (2) db/conf/ac/petri2.html#Jensen96 Ivan Damgård Commitment Schemes and Zero-Knowledge Protocols. 63-86 http://link.springer.de/link/service/series/0558/bibs/1561/15610063.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Damgard98 S. Moscatelli Yves Kodratoff Advanced Machine Learning Techniques for Computer Vision. 161-197 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#MoscatelliK92 Fred B. Schneider Leslie Lamport Paradigms for Distributed Programs. 431-480 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#SchneiderL84 Alexandru Murgu Mapping Discounted and Undiscounted Markov Decision Problems onto Hopfield Neural Networks. 137-167 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#Murgu93 John D. Musa Kazuhira Okumoto Application of Basic and Logarithmic Poisson Execution Time Models in Software Reliability Measurement. 68-100 1987 conf/ac/1987sr Software Reliability Modelling and Identification db/conf/ac/sr1987.html#MusaO87 Ayman F. Naguib Arogyaswami Paulraj Performance of CDMA Cellular Networks with Base-Station Antenna Arrays. 87-100 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#NaguibP94 Charles André M. Diaz C. Girault Joseph Sifakis Survey of French Research and Applications Based on Petri Nets. 321-345 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#AndreDGS75 Ivan M. Havel Artificial Intelligence and Connectionism: Some Philosophical Implications. 25-41 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Havel92 Christoph Meinel Christian Stangier Data Structures for Boolean Functions. 61-78 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220061.htm db/conf/ac/cdm2001.html#MeinelS01 Philip J. Hatcher Robert D. Russell Santhosh Kumaran Michael J. Quinn Implementing Data Parallel Programs on Commodity Clusters. 159-178 1996 conf/ac/1996dppm The Data Parallel Programming Model db/conf/ac/data1996.html#HatcherRKQ96 Hélène Kirchner Some Extensions of Rewriting. 54-73 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#Kirchner93 Sören Molander "Blob" Analysis of Biomedical Image Sequences - A Model-Based and an Inductive Approach. 169-187 1993 conf/ac/1993adcs Analysis of Dynamical and Cognitive Systems db/conf/ac/adcs1993.html#Molander93 Geoff P. Mullery Conclusion. 539-547 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#Mullery84a Josef Blanz Anja Klein Markus Naßhan Andreas Steil Cellular Spectrum Efficiency of a Joint Detection C/TDMA Mobile Radio System. 184-195 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#BlanzKNS94 F. R. Gfeller P. Bernasconi Walter Hirt C. Elisii B. Weiss Dynamic Cell Planning for Wireless Infrared In-House Data Transmission. 261-272 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#GfellerBHEW94 Bernd Gärtner Emo Welzl Explicit and Implicit Enforcing - Randomized Optimization. 25-46 2001 conf/ac/2001cdm Computational Discrete Mathematics http://link.springer.de/link/service/series/0558/bibs/2122/21220025.htm db/conf/ac/cdm2001.html#GartnerW01 Wolfgang Reisig Place/Transition Systems. 117-141 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Reisig86a Wolfgang Reisig Embedded System Description Using Petri Nets. 18-62 1986 conf/ac/1986esys Embedded Systems db/conf/ac/esys1986.html#Reisig86b Wolfgang Reisig Grzegorz Rozenberg Informal Introduction to Petri Nets. 1-11 1996 Petri Nets db/conf/ac/petri1.html#ReisigR96 Horst Oberquelle Nets as a Tool in Teaching and in Terminology Work. 481-506 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#Oberquelle75 Horst Oberquelle Human-Machine Interaction and Role/Function/Action-Nets. 171-190 1986 Advances in Petri Nets db/conf/ac/petri86-2.html#Oberquelle86 Nicholas V. Findler An Automatic Knowledge Acquisition Tool. 338-367 1992 conf/ac/1992ai Advanced Topics in Artificial Intelligence db/conf/ac/ai1992.html#Findler92 Torben P. Pedersen Signing Contracts and Paying Electronically. 134-157 http://link.springer.de/link/service/series/0558/bibs/1561/15610134.htm 1998 Lectures on Data Security db/conf/ac/security1998.html#Pedersen98 H. R. Wüthrich Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper. 138-162 1976 conf/ac/1976ent Komplexität von Entscheidungsproblemen 1976 db/conf/ac/entscheid1976.html#Wuthrich76 Ursula Goltz Synchronic Distance. 338-358 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Goltz86 Rüdiger Valk Infinite Behaiour and Fairness. 377-396 1986 Advances in Petri Nets db/conf/ac/petri86-1.html#Valk86a Martin Odersky An Introduction to Functional Nets. 333-377 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950333.htm db/conf/ac/appsem2000.html#Odersky00 Thomas Ketseoglou Certain Generalizations on the Slotted Collision Channel Without Feedback. 488-500 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Ketseoglou94 Manuel Silva Enrique Teruel Robert Valette H. Pingaud Petri Nets and Production Systems. 85-124 1996 Petri Nets (2) db/conf/ac/petri2.html#SilvaTVP96 Atsuhiro Goto Shunichi Uchida Towards a High Performance Parallel Inference Machine - The Intermediate Stage Plan of PIM. 299-320 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#GotoU86 Armelle Wautier Jean-Claude Dany Christophe Mourot Phase-Correcting Filter for Sub-optimal Equalizers. 208-218 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#WautierDM94 Ernst Specker Volker Strassen Komplexität von Entscheidungsproblemen, Ein Seminar Komplexität von Entscheidungsproblemen Lecture Notes in Computer Science 43 Springer 1976 3-540-07805-3 db/conf/ac/entscheid1976.html Vijay V. Vazirani Primal-Dual Schema Based Approximation Algorithms. 198-207 2000 conf/ac/2000tacs Theoretical Aspects of Computer Science http://link.springer.de/link/service/series/0558/bibs/2292/22920198.htm db/conf/ac/tacs2000.html#Vazirani00 Philip C. Treleaven Marco Vanneschi Future Parallel Computers, An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings Future Parallel Computers Lecture Notes in Computer Science 272 Springer 1987 3-540-18203-9 db/conf/ac/fpc1986.html Patrice Quinton An Introduction to Systolic Architectures. 387-400 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#Quinton86 Gero Blanke Simulation of GSM Data Channels in a Safety Critical Railway Environment. 334-343 1994 conf/ac/1994mc Mobile Communications db/conf/ac/mc1994.html#Blanke94 Helmut Alt Computational Discrete Mathematics, Advanced Lectures Computational Discrete Mathematics Lecture Notes in Computer Science 2122 Springer 2001 3-540-42775-9 db/conf/ac/cdm2001.html Özalp Babaoglu Alberto Bartoli Gianluca Dini Programming Partition-Aware Network Applications. 182-212 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520182.htm db/conf/ac/dc1999.html#BabaogluBD99 Özalp Babaoglu Renzo Davoli Alberto Montresor Group Communication in Partitionable Distributed Systems. 48-78 1999 Advances in Distributed Systems http://link.springer.de/link/service/series/0558/bibs/1752/17520048.htm db/conf/ac/dc1999.html#BabaogluDM99 Ernst Bovelander Smart Card Security. 332-337 1997 State of the Art in Applied Cryptography http://link.springer.de/link/service/series/0558/bibs/1528/15280332.htm db/conf/ac/crypto1997.html#Bovelander97 Geoff P. Mullery Acquisition-Environment. 45-130 1984 Advanced Course: Distributed Systems db/conf/ac/ds84.html#Mullery84 Jonathan Billington Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. 293-330 1996 Petri Nets (2) db/conf/ac/petri2.html#Billington96 Hartmann J. Genrich Kurt Lautenbach P. S. Thiagarajan Elements of General Net Theory. 21-163 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#GenrichLT75 Thomas Bäck Evolution Strategies: An Alternative Evolutionary Algorithm. 3-20 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#Back95 Jean-Marc Alliot Evelyne Lutton Edmund M. A. Ronald Marc Schoenauer Dominique Snyers Artificial Evolution, European Conference, AE 95, Brest, France, September 4-6, 1995, Selected Papers Artificial Evolution Lecture Notes in Computer Science 1063 Springer 1996 3-540-61108-8 db/conf/ae/ae1995.html Jin-Kao Hao Evelyne Lutton Edmund M. A. Ronald Marc Schoenauer Dominique Snyers Artificial Evolution, Third European Conference, AE'97, Nîmes, France, 22-24 October 1997, Selected Papers Artificial Evolution Lecture Notes in Computer Science 1363 Springer 1998 3-540-64169-6 db/conf/ae/ae1997.html Cyril Fonlupt Jin-Kao Hao Evelyne Lutton Edmund M. A. Ronald Marc Schoenauer Artificial Evolution, 4th European Conference, AE'99, Dunkerque, France, November 3-5, 1999, Selected Papers Artificial Evolution Lecture Notes in Computer Science 1829 Springer 2000 3-540-67846-8 db/conf/ae/ae1999.html Pierre Collet Cyril Fonlupt Jin-Kao Hao Evelyne Lutton Marc Schoenauer Artificial Evolution, 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001, Selected Papers Artificial Evolution Lecture Notes in Computer Science 2310 Springer 2002 3-540-43544-1 db/conf/ae/ae2001.html Frédéric Gruau Modular Genetic Neural Networks for Six-Legged Locomotion. 201-219 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#Gruau95 Julio Tanomaru Evolving Turing Machines from Examples. 167-182 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630167.htm db/conf/ae/ae1997.html#Tanomaru97 Franciszek Seredynski Albert Y. Zomaya Coevolution and Evolving Parallel Cellular Automata - Based Scheduling Algorithms. 362-374 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100362.htm db/conf/ae/ae2001.html#SeredynskiZ01 Raphaël Cerf An Asymptotic Theory of Genetic Algorithms. 37-53 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#Cerf95 Hugo de Garis Lishan Kang Qiming He Zhengjun Pan Masahiro Ootani Edmund M. A. Ronald Million Module Neural Systems Evolution - The Next Step in ATR's Billion Neuron Artificial Brain (``CAM-Brain'') Project. 335-347 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630335.htm db/conf/ae/ae1997.html#GarisKHPOR97 Jens Gottlieb On the Effectivity of Evolutionary Algorithms for the Multidimensional Knapsack Problem. 23-37 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Gottlieb99 Gilles Venturini Towards a Genetic Theory of Easy and Hard Functions. 54-66 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#Venturini95 Marc Schoenauer Edmund M. A. Ronald How Long Does It Take to Evolve a Neural Net? 232-244 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#SchoenauerR95 Rémy Viennet Christian Fonteix Ivan Marc New Multicriteria Optimization Method Based on the Use of a Diploid Genetic Algorithm: Example of an Industrial Problem. 120-127 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#ViennetFM95 Jin-Kao Hao Raphaël Dorne Study of Genetic Search for the Frequency Assignment Problem. 333-344 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#HaoD95 Guillaume Cretin Evelyne Lutton Jacques Levy-Vehel Philippe Glevarec Cédric Roll Mixed IFS: Resolution of the Inverse Problem Using Genetic Programming. 247-258 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#CretinLLGR95 Yu Li Youcef Bouchebaba A New Genetic Algorithm for the Optimal Communication Spanning Tree Problem. 162-173 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#LiB99 Sangyeop Oh Hyunsoo Yoon An Analysis of Punctuated Equilibria in Simple Genetic Algorithms. 195-206 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630195.htm db/conf/ae/ae1997.html#OhY97 Arnaud Berny Extending Selection Learning toward Fixed-Length d-Ary Strings. 54-64 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100054.htm db/conf/ae/ae2001.html#Berny01 Anne Spalanzani Lamarckian vs Darwinian Evolution for the Adaptation to Acoustical Environment Change. 136-144 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Spalanzani99 Ravi Srivastava Amit Kaldate Evolving Cooperative Ecosystems: A Multi-agent Simulation of Deforestation Activities. 323-337 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100323.htm db/conf/ae/ae2001.html#SrivastavaK01 Cathy Escazut Philippe Collard Genetic Algorithms at the Edge of a Dream. 69-80 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630069.htm db/conf/ae/ae1997.html#EscazutC97 Olivier Michel An Artificial Life Approach for the Synthesis of Autonomous Agents. 220-231 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#Michel95 Mike Rosenman Evolutionary Case-Based Design. 53-72 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Rosenman99 Fred Glover A Template for Scatter Search and Path Relinking. 3-54 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630003.htm db/conf/ae/ae1997.html#Glover97 Jorge Casillas Oscar Cordón Francisco Herrera Juan J. Merelo Guervós Cooperative Coevolution for Learning Fuzzy Rule-Based Systems. 311-322 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100311.htm db/conf/ae/ae2001.html#CasillasCHM01 Benoit Leblanc Evelyne Lutton Jean-Paul Allouche Inverse Problems for Finite Automata: A Solution Based on Genetic Algorithms. 157-166 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630157.htm db/conf/ae/ae1997.html#LeblancLA97 Felix Gers Hugo de Garis Michael Korkin CoDi-1Bit: A Simplified Cellular Automata Based Neuron Model. 315-334 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630315.htm db/conf/ae/ae1997.html#GersGK97 Christine Crisan Heinz Mühlenbein The Frequency Assignment Problem: A Look at the Performance of Evolutionary Search. 263-274 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630263.htm db/conf/ae/ae1997.html#CrisanM97 M. Slimane Gilles Venturini Jean Pierre Asselin de Beauville T. Brouard A. Brandeau Optimizing Hidden Markov Models with a Genetic Algorithm. 384-396 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#SlimaneVBBB95 Nicolas Meuleau Claude Lattaud The Artificial Evolution of Cooperation. 159-180 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#MeuleauL95 Jerzy J. Korczak Piotr Lipinski Patrick Roger Evolution Strategy in Portfolio Optimization. 156-167 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100156.htm db/conf/ae/ae2001.html#KorczakLR01 Rodolphe Le Riche Frédéric Guyon Dual Evolutionary Optimization. 281-294 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100281.htm db/conf/ae/ae2001.html#RicheG01 Jean-Philippe Hamiez Jin-Kao Hao Scatter Search for Graph Coloring. 168-179 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100168.htm db/conf/ae/ae2001.html#HamiezH01 Maarten Keijzer Juan J. Merelo Guervós Gustavo Romero Marc Schoenauer Evolving Objects: A General Purpose Evolutionary Computation Library. 231-244 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100231.htm db/conf/ae/ae2001.html#KeijzerMRS01 Alain Ratle Michèle Sebag Avoiding the Bloat with Stochastic Grammar-Based Genetic Programming. 255-266 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100255.htm db/conf/ae/ae2001.html#RatleS01 Frédéric Médioni Nicolas Durand Jean-Marc Alliot Air Traffic Conflict Resolution by Genetic Algorithms. 370-383 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#MedioniDA95 Eric Dedieu Olivier Lebeltel Pierre Bessière Wings Were Not Designed to Let Animals Fly. 237-250 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630237.htm db/conf/ae/ae1997.html#DedieuLB97 Cristina Cuenca Jean-Claude Heudin An Agent System for Learning Profiles in Broadcasting Applications on the Internet. 109-122 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630109.htm db/conf/ae/ae1997.html#CuencaH97 Mathieu Peyral Antoine Ducoulombier Caroline Ravise Marc Schoenauer Michèle Sebag Mimetic Evolution. 81-94 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630081.htm db/conf/ae/ae1997.html#PeyralDRSS97 A. E. Eiben J. K. van der Hauw Adaptive Penalties for Evolutionary Graph Coloring. 95-108 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630095.htm db/conf/ae/ae1997.html#EibenH97 Olivier Roux Cyril Fonlupt Denis Robilliard Co-operative Improvement for a Combinatorial Optimization Algorithm. 231-241 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#RouxFR99 K. Abboud Marc Schoenauer Surrogate Deterministic Mutation: Preliminary Results. 104-116 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100104.htm db/conf/ae/ae2001.html#AbboudS01 Couro Kane Marc Schoenauer Genetic Operators for Two-Dimensional Shape Optimization. 355-369 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#KaneS95 Sana Ben Hamida Alain Racine Marc Schoenauer Two Evolutionary Approaches to Design Phase Plate for Tailoring Focal-Plane Irradiance Profile. 266-276 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#HamidaRS99 Márk Jelasity József Dombi GAs, a Concept of Modeling Species in Genetic Algorithms. 69-85 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#JelasityD95 Nicolas Monmarché G. Nocent Gilles Venturini P. Santini On Generating HTML Style Sheets with an Interactive Genetic Algorithm Based on Gene Frequencies. 99-110 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#MonmarcheNVS99 Alain Ratle Problem-Specific Representations for Heterogeneous Materials Design. 111-122 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Ratle99 Ian R. Edmonds The Impact of Environmental Structure on the Evolutionary Trajectories of a Foraging Agent. 338-349 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100338.htm db/conf/ae/ae2001.html#Edmonds01 Umberto Cerruti Mario Giacobini Pierre Liardet Prediction of Binary Sequences by Evolving Finite State Machines. 42-53 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100042.htm db/conf/ae/ae2001.html#CerrutiGL01 Thomas Bäck Martin Schütz Sami Khuri A Comparative Study of a Penalty Function, a Repair Heuristic and Stochastic Operators with the Set-Covering Problem. 320-332 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#BackSK95 Thomas Bousonville The Two Stage Continuous Parallel Flow Shop Problem with Limited Storage: Modeling and Algorithms. 180-191 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100180.htm db/conf/ae/ae2001.html#Bousonville01 Isabelle Servet Louise Travé-Massuyès Daniel Stern Telephone Network Traffic Overloading Diagnosis and Evolutionary Computation Techniques. 137-144 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630137.htm db/conf/ae/ae1997.html#ServetLS97 Peter J. Bentley Why Biologists and Computer Scientists Should Work Together. 3-18 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100003.htm db/conf/ae/ae2001.html#Bentley01 Ronald W. Morrison Kenneth A. De Jong Measurement of Population Diversity. 31-41 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100031.htm db/conf/ae/ae2001.html#MorrisonJ01 Alain Sidaner Olivier Bailleux Jean-Jacques Chabrier Measuring the Spatial Dispersion of Evolutionary Search Processes: Application to Walksat. 77-90 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100077.htm db/conf/ae/ae2001.html#SidanerBC01 D. F. Brown A. B. Garmendia-Doval John A. W. McCall Markov Random Field Modelling of Royal Road Genetic Algorithms. 65-76 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100065.htm db/conf/ae/ae2001.html#BrownGM01 Vittorio Gorrini Marco Dorigo An Application of Evolutionary Algorithms to the Scheduling of Robotic Operations. 345-354 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#GorriniD95 David Griffiths Anargyros Sarafopoulos Evolving Behavioural Animation Systems. 217-227 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#GriffithsS99 Ralf Salomon Peter Eggenberger Adaptation on the Evolutionary Time Scale: A Working Hypothesis and Basic Experiments. 251-262 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630251.htm db/conf/ae/ae1997.html#SalomonE97 Caroline Ravise Michèle Sebag Marc Schoenauer Induction-Based Control of Genetic Algorithms. 100-119 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#RaviseSS95 Anikó Ekárt Shorter Fitness Preserving Genetic Programs. 73-83 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Ekart99 Gregory Paris Denis Robilliard Cyril Fonlupt Applying Boosting Techniques to Genetic Programming. 267-280 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100267.htm db/conf/ae/ae2001.html#ParisRF01 Olga Rudenko Marc Schoenauer Tiziana Bosio Roberto Fontana A Multiobjective Evolutionary Algorithm for Car Front End Design. 205-218 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100205.htm db/conf/ae/ae2001.html#RudenkoSBF01 Cyril Godart Martin Krüger A Genetic Algorithm with Parallel Steady-State Reproduction. 86-99 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#GodartK95 Christine Gaspin Thomas Schiex Genetic Algorithms for Genetic Mapping. 145-156 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630145.htm db/conf/ae/ae1997.html#GaspinS97 Renaud Dumeur Evolution Through Cooperation: The Symbiotic Algorithm. 145-158 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#Dumeur95 Anton V. Emereev Modeling and Analysis of Genetic Algorithm with Tournament Selection. 84-95 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Emereev99 Samuel Delepoulle Philippe Preux Jean-Claude Darcheville Learning as a Consequence of Selection. 350-361 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100350.htm db/conf/ae/ae2001.html#DelepoullePD01 Samuel Delepoulle Philippe Preux Jean-Claude Darcheville Evolution of Cooperation within a Behavior-Based Perspective: Confronting Nature and Animats. 204-216 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#DelepoullePD99 Alexandru Agapie Genetic Algorithms: Minimal Conditions for Convergence. 183-206 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630183.htm db/conf/ae/ae1997.html#Agapie97 Colin R. Reeves Fitness Landscapes and Evolutionary Algorithms. 3-20 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Reeves99 Paul Bourgine Dominique Snyers Lotka Volterra Coevolution at the Edge of Chaos. 131-144 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#BourgineS95 Jean-Marc Alliot Nicolas Durand A Genetic Algorithm to Improve an Othello Program. 307-319 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#AlliotD95 Stephen Smith Using Evolutionary Algorithms Incorporating the Augmented Lagrangian Penalty Function to Solve Discrete and Continuous Constrained Non-linear Optimal Control Problems. 295-310 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100295.htm db/conf/ae/ae2001.html#Smith01 Jens Gottlieb Günther R. Raidl Characterizing Locality in Decoder-Based EAs for the Multidimensional Knapsack Problem. 38-52 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#GottliebR99 Jens Gottlieb Nico Voss Representations, Fitness Functions and Genetic Operators for the Satisfiability Problem. 55-68 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630055.htm db/conf/ae/ae1997.html#GottliebV97 Evelyne Lutton Patrice Martinez A Genetic Algorithm with Sharing for the Detection of 2D Geometric Primitives in Images. 287-303 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#LuttonM95 Bart Naudts Alain Verschoren SGA Search Dynamics on Second Order Functions. 207-222 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630207.htm db/conf/ae/ae1997.html#NaudtsV97 Philippe Collard Manuel Clergue Michael Defoin-Platel Synthetic Neutrality for Artificial Evolution. 254-265 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#CollardCD99 Sophie Rochet Gilles Venturini M. Slimane E. M. El Kharoubi A Critical and Empirical Study of Epistasis Measures for Predicting GA Performances: A Summary. 275-286 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630275.htm db/conf/ae/ae1997.html#RochetVSK97 Andrew Johnson Jonathan L. Shapiro The Importance of Selection Mechanisms in Distribution Estimation Algorithms. 91-103 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100091.htm db/conf/ae/ae2001.html#JohnsonS01 Benoit Leblanc Evelyne Lutton Bertrand Braunschweig Hervé Toulhoat History and Immortality in Evolutionary Computation. 128-142 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100128.htm db/conf/ae/ae2001.html#LeblancLBT01 Leila Kallel Marc Schoenauer A Priori Comparison of Binary Crossover Operators: No Universal Statistical Measure, But a Set of Hints. 287-302 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630287.htm db/conf/ae/ae1997.html#KallelS97 Günter Rudolph Asymptotical Convergence Rates of Simple Evolutionary Algorithms under Factorizing Mutation Distributions. 223-236 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630223.htm db/conf/ae/ae1997.html#Rudolph97 Axel Löffler Jürgen Klahold Ulrich Rückert The Dynamical Nightwatch's Problem Solved by the Autonomous Micro-Robot Khepera. 303-314 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630303.htm db/conf/ae/ae1997.html#LofflerKR97 Evelyne Lutton Pierre Collet Jean Louchet EASEA Comparisons on Test Functions: GALib versus EO. 219-230 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100219.htm db/conf/ae/ae2001.html#LuttonCL01 David B. Fogel Lawrence J. Fogel An Introduction to Evolutionary Programming. 21-33 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#FogelF95 Antonio Piccolboni G. Mauri Application of Evolutionary Algorithms to Protein Folding Prediction. 123-136 1997 conf/ae/1997 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/1363/13630123.htm db/conf/ae/ae1997.html#PiccolboniM97 Pierre-Yves Oudeyer Origins and Learnability of Syllable Systems: A Cultural Evolutionary Model. 143-155 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100143.htm db/conf/ae/ae2001.html#Oudeyer01 Philippe Mathieu Bruno Beaufils Jean-Paul Delahaye Studies on Dynamics in the Classical Iterated Prisoner's Dilemma with Few Strategies. 177-190 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#MathieuBD99 Ingo la Tendresse Jens Gottlieb Odej Kao The Effects of Partial Restarts in Evolutionary Search. 117-127 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100117.htm db/conf/ae/ae2001.html#TendresseGK01 Jean Louchet From Hough to Darwin: An Invidual Evolutionary Strategy Applied to Artificial Vision. 145-161 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Louchet99 Laurence Moreau-Giraud Pascal Lafon A Hybrid Evolution Strategy for Mixed Discrete Continuous Constrained Problems. 123-135 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#Moreau-GiraudL99 Denis Robilliard Cyril Fonlupt Backwarding : An Overfitting Control for Genetic Programming in a Remote Sensing Application. 245-254 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100245.htm db/conf/ae/ae2001.html#RobilliardF01 Denis Robilliard Cyril Fonlupt A Shepherd and a Sheepdog to Guide Evolutionary Computation? 277-291 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#RobilliardF99 Spyros Xanthakis Constantinos Karapoulios Régis Pajot Ahmed Rozz Immune System and Fault-Tolerant Computing. 181-197 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#XanthakisKPR95 Jean Louchet Michael Boccara David Crochemore Xavier Provot Building New Tools for Synthetic Image Animation by Using Evolutionary Techniques. 273-286 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#LouchetBCP95 Meriema Belaidouni Jin-Kao Hao SAT, Local Search Dynamics and Density of States. 192-204 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100192.htm db/conf/ae/ae2001.html#BelaidouniH01 Meriema Belaidouni Jin-Kao Hao Landscapes and the Maximal Constraint Satisfaction Problem. 242-253 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#BelaidouniH99 A. G. Bagnall G. D. Smith An Adaptive Agent Model for Generator Company Bidding in the UK Power Pool. 191-203 1999 conf/ae/1999 Artificial Evolution db/conf/ae/ae1999.html#BagnallS99 Jeanine Graf Wolfgang Banzhaf Interactive Evolution for Simulated Natural Evolution. 259-272 1995 conf/ae/1995 Artificial Evolution db/conf/ae/ae1995.html#GrafB95 Alexis Bienvenüe Marc Joannides Jean Bérard Éric Fontenas Olivier François Niching in Monte Carlo Filtering Algorithms. 19-30 2001 conf/ae/2001 Artificial Evolution http://link.springer.de/link/service/series/0558/bibs/2310/23100019.htm db/conf/ae/ae2001.html#BienvenueJBFF01 Angela Brunstein Jacqueline Waniek Anja Naumann Josef Krems Learning Grammar with Adaptive Hypertexts: Reading or Searching? 372-375 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470372.htm db/conf/ah/ah2002.html#BrunsteinWNK02 Peter Brusilovsky Oliviero Stock Carlo Strapparava Adaptive Hypermedia and Adaptive Web-Based Systems, International Conference, AH 2000, Trento, Italy, August 28-30, 2000, Proceedings AH Lecture Notes in Computer Science 1892 Springer 2000 3-540-67910-3 db/conf/ah/ah2000.html Paul De Bra Peter Brusilovsky Ricardo Conejo Adaptive Hypermedia and Adaptive Web-Based Systems, Second International Conference, AH 2002, Malaga, Spain, May 29-31, 2002, Proceedings AH Lecture Notes in Computer Science 2347 Springer 2002 3-540-43737-1 db/conf/ah/ah2002.html Elio Toppano Adaptation through Interaction Modelling in Educational Hypermedia. 576-579 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470576.htm db/conf/ah/ah2002.html#Toppano02 Isabel Fernández-Anta Eva Millán José-Luis Pérez-de-la-Cruz Adaptation and Generation in a Web-Based Lisp Tutor. 297-300 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920297.htm db/conf/ah/ah2000.html#Fernandez-AntaMP00 François Bry Michael Kraus Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors. 472-475 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470472.htm db/conf/ah/ah2002.html#BryK02 Daniela Petrelli Daniele Baggio Giovanni Pezzulo Adaptive Hypertext Design Environments: Putting Principles into Practice. 202-213 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920202.htm db/conf/ah/ah2000.html#PetrelliBP00 Jinlin Chen Yudong Yang HongJiang Zhang An Adaptive Web Content Delivery System. 284-288 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920284.htm db/conf/ah/ah2000.html#ChenYZ00 Cristiano Chesi Francesca Rizzo Open Multimedia Environment to Retrieve and Organise Documents: An Adaptive Web-Based IR System in the Field of Textile and Clothing Industry. 403-408 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920403.htm db/conf/ah/ah2000.html#ChesiR00 Charun Sanrach Monique Grandbastien ECSAIWeb: A Web-Based Authoring System to Create Adaptive Learning Systems. 214-226 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920214.htm db/conf/ah/ah2000.html#SanrachG00 Antonija Mitrovic Brent Martin Evaluating the Effects of Open Student Models on Learning. 296-305 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470296.htm db/conf/ah/ah2002.html#MitrovicM02 Maria Barra Distributed Systems for Group Adaptivity on the Web. 396-402 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920396.htm db/conf/ah/ah2000.html#Barra00 John W. Coffey An Ontology-Guided Approach to Content Adaptation in LEO: A Learning Environment Organizer. 380-383 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470380.htm db/conf/ah/ah2002.html#Coffey02 Elisabeth André Enhancing Adaptive Hypermedia Presentation Systems by Lifelike Synthetic Characters. 1-4 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920001.htm db/conf/ah/ah2000.html#Andre00 Juan E. Gilbert Chia Y. Han Researching Adaptive Instruction. 409-414 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920409.htm db/conf/ah/ah2000.html#GilbertH00 Marek Czarkowski Judy Kay A Scrutable Adaptive Hypertext. 384-387 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470384.htm db/conf/ah/ah2002.html#CzarkowskiK02 Wilfred Ng Jerry Yau Adapting Web Interfaces by WHAT. 551-555 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470551.htm db/conf/ah/ah2002.html#NgY02 Licia Calvi Alexandra I. Cristea Towards Generic Adaptive Systems: Analysis of a Case Study. 79-89 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470079.htm db/conf/ah/ah2002.html#CalviC02 Patrick Baudisch Lars Brueckner TV Scout: Lowering the Entry Barrier to Personalized TV Program Recommendation. 58-68 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470058.htm db/conf/ah/ah2002.html#BaudischB02 Alexandra I. Cristea Lora Aroyo Adaptive Authoring of Adaptive Educational Hypermedia. 122-132 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470122.htm db/conf/ah/ah2002.html#CristeaA02 Alexandra I. Cristea Toshio Okamoto Knowledge Computing Method for Enhancing the Effectiveness of a WWW Distance Education System. 289-292 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920289.htm db/conf/ah/ah2000.html#CristeaO00 David Abraham Kalina Yacef Adaptation in the Web-Based Logic-ITA. 456-461 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470456.htm db/conf/ah/ah2002.html#AbrahamY02 Paula Hatch Nicola Stokes Joe Carthy Lexical Chaining for Web-Based Retrieval of Breaking News. 327-330 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920327.htm db/conf/ah/ah2000.html#HatchSC00 Marlène Villanova-Oliver Jérôme Gensel Hervé Martin Exploiting a Progressive Access Model to Information. 444-447 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470444.htm db/conf/ah/ah2002.html#Villanova-OliverGM02 Elena Not Massimo Zancanaro The MacroNode Approach: Mediating Between Adaptive and Dynamic Hypermedia. 167-178 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920167.htm db/conf/ah/ah2000.html#NotZ00 Kalina Bontcheva Adaptivity, Adaptability, and Reading Behaviour: Some Results from the Evaluation of a Dynamic Hypertext System. 69-78 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470069.htm db/conf/ah/ah2002.html#Bontcheva02 Licia Calvi Formative Evaluation of Adaptive CALLware: A Case Study. 276-279 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920276.htm db/conf/ah/ah2000.html#Calvi00 Maria Barra Paul P. Maglio Alberto Negro Vittorio Scarano GAS: Group Adaptive System. 47-57 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470047.htm db/conf/ah/ah2002.html#BarraMNS02 Lucimar C. Martins Tatiana A. S. Coelho Simone D. J. Barbosa Marco A. Casanova Carlos José Pereira de Lucena A Framework for Filtering and Packaging Hypermedia Documents. 274-283 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470274.htm db/conf/ah/ah2002.html#MartinsCBCL02 Flavius Frasincar Geert-Jan Houben Hypermedia Presentation Adaptation on the Semantic Web. 133-142 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470133.htm db/conf/ah/ah2002.html#FrasincarH02 Evangelia Gouli Kyparisia A. Papanikolaou Maria Grigoriadou Personalizing Assessment in Adaptive Educational Hypermedia Systems. 153-163 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470153.htm db/conf/ah/ah2002.html#GouliPG02 Marta Fernández de Arriba José Antonio López Brugos Development of Adaptive Web Sites with Usability and Accessibility Features. 501-504 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470501.htm db/conf/ah/ah2002.html#ArribaB02 Nuria Medina-Medina Lina García-Cabrera María José Rodríguez-Fortiz José Parets-Llorca Adaptation in an Evolutionary Hypermedia System: Using Semantic and Petri Nets. 284-295 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470284.htm db/conf/ah/ah2002.html#Medina-MedinaGRP02 Paul P. Maglio Stephen Farrell LiveInfo: Adapting Web Experience by Customization and Annotation. 144-154 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920144.htm db/conf/ah/ah2000.html#MaglioF00 Dirk Kukulenz Prediction of Navigation Profiles in a Distributed Internet Environment through Learning of Graph Distributions. 233-241 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470233.htm db/conf/ah/ah2002.html#Kukulenz02 Rosa M. Carro Estrella Pulido Pilar Rodríguez How Adaptivity Affects the Development of TANGOW Web-Based Courses. 280-283 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920280.htm db/conf/ah/ah2000.html#CarroPR00 Mohamed Ramzy Zakaria Adam Moore Helen Ashman Craig D. Stewart Tim J. Brailsford The Hybrid Model for Adaptive Educational Hypermedia. 580-585 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470580.htm db/conf/ah/ah2002.html#ZakariaMASB02 Maria Barra Giuseppina Palmieri Simona Napolitano Vittorio Scarano Luca Zitarosa Adaptive Testing by Test++. 264-267 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920264.htm db/conf/ah/ah2000.html#BarraPNSZ00 Keith Bradley Rachael Rafter Barry Smyth Case-Based User Profiling for Content Personalisation. 62-72 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920062.htm db/conf/ah/ah2000.html#BradleyRS00 Christopher Bailey Wendy Hall An Agent-Based Approach to Adaptive Hypermedia Using a Link Service. 260-263 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920260.htm db/conf/ah/ah2000.html#BaileyH00 Eelco Herder Betsy van Dijk Personalized Adaptation to Device Characteristics. 598-602 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470598.htm db/conf/ah/ah2002.html#HerderD02 Andrea Esuli Antonio Cisternino Giuliano Pacini Maria Simi Adaptive Real Time Comment Generation for Sail Racing Scenarios. 392-396 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470392.htm db/conf/ah/ah2002.html#EsuliCPS02 Lillian N. Cassel Ursula Wolz Robert E. Beck Server Independent Personalization for Effective Searching in the World Wide Web. 488-491 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470488.htm db/conf/ah/ah2002.html#CasselWB02 Félix Buendía Paloma Díaz A Framework for Educational Adaptive Hypermedia Applications. 476-479 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470476.htm db/conf/ah/ah2002.html#BuendiaD02 Alessandra Cini José Valdeni de Lima Adaptivity Conditions Evaluation for the User of Hypermedia Presentations Built with AHA! 497-500 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470497.htm db/conf/ah/ah2002.html#CiniL02 Hongjing Wu Paul De Bra A. T. M. Aerts Geert-Jan Houben Adaptation Control in Adaptive Hypermedia Systems. 250-259 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920250.htm db/conf/ah/ah2000.html#WuBAH00 Alke Martens Adelinde Uhrmacher Adapting Learner Evaluation by Plans. 539-542 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470539.htm db/conf/ah/ah2002.html#MartensU02 Mizue Kayama Toshio Okamoto Alexandra I. Cristea Exploratory Activity Support Based on a Semantic Feature Map. 347-350 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920347.htm db/conf/ah/ah2000.html#KayamaOC00 Nicholas Kushmerick James McKee Fergus Toolan Towards Zero-Input Personalization: Referrer-Based Page Prediction. 133-143 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920133.htm db/conf/ah/ah2000.html#KushmerickMT00 Carlo Strapparava Bernardo Magnini Anna Stefani Sense-Based User Modelling for Web Sites. 388-391 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920388.htm db/conf/ah/ah2000.html#StrapparavaMS00 Cveta Martinovska A Fuzzy-Based Approach to User Model Refinement in Adaptive Hypermedia Systems. 411-414 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470411.htm db/conf/ah/ah2002.html#Martinovska02 Judy Kay Bob Kummerfeld Piers Lauder Personis: A Server for User Models. 203-212 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470203.htm db/conf/ah/ah2002.html#KayKL02 José Luis Arjona Rafael Corchuelo Antonio Ruiz Cortés Miguel Toro Automatic Extraction of Semantically-Meaningful Information from the Web.. 24-35 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470024.htm db/conf/ah/ah2002.html#ArjonaCRT02 David Bueno Ricardo Conejo Cristina Carmona Amos David METIORE: A Publications Reference for the Adaptive Hypermedia Community. 480-483 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470480.htm db/conf/ah/ah2002.html#BuenoCCD02 Rachael Rafter Keith Bradley Barry Smyth Automated Collaborative Filtering Applications for Online Recruitment Services. 363-368 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920363.htm db/conf/ah/ah2000.html#RafterBS00 Francisco José García Fabio Paternò Ana Belén Gil An Adaptive e-Commerce System Definition. 505-509 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470505.htm db/conf/ah/ah2002.html#GarciaPG02 Marcus Specht Milos Kravcik Roland Klemke Leonid Pesin Rüdiger Hüttenhain Adaptive Learning Environment for Teaching and Learning in WINDS. 572-575 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470572.htm db/conf/ah/ah2002.html#SpechtKKPH02 Maria Angela Ferrario Keith Waters Barry Smyth Collaborative Maintenance in ULYSSES. 301-304 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920301.htm db/conf/ah/ah2000.html#FerrarioWS00 Diana Bental Alison Cawsey Patrick McAndrew Bruce Eddy What Does the User Want to Know About Web Resources? A User Model for Metadata. 268-271 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920268.htm db/conf/ah/ah2000.html#BentalCME00 Diana Bental Alison Cawsey Janne Pearson Ray Jones Adapting Web-Based Information to the Needs of Patients with Cancer. 27-37 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920027.htm db/conf/ah/ah2000.html#BentalCPJ00 Keith Cheverst Nigel Davies Keith Mitchell Paul Smith Providing Tailored (Context-Aware) Information to City Visitors. 73-85 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920073.htm db/conf/ah/ah2000.html#CheverstDMS00 Luisa Marucci Fabio Paternò Logical Dimensions for the Information Provided by a Virtual Guide. 359-362 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920359.htm db/conf/ah/ah2000.html#MarucciP00 Tobias Berka Wernher Behrendt Erich Gams Siegfried Reich Recommending Internet-Domains Using Trails and Neural Networks. 368-371 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470368.htm db/conf/ah/ah2002.html#BerkaBGR02 Manfred Stede Stephan Koch The Adaptive University Calendar. 384-387 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920384.htm db/conf/ah/ah2000.html#StedeK00 Mia Stern Beverly Park Woolf Adaptive Content in an Online Lecture System. 227-238 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920227.htm db/conf/ah/ah2000.html#SternW00 Youngji Kim Sooho Ok Yongtae Woo A Case-Based Recommender System Using Implicit Rating Techniques. 522-526 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470522.htm db/conf/ah/ah2002.html#KimOW02 Maia Dimitrova Dimcho Boyadjiev Nikolai Butorin Interface Adaptation to Style of User-Computer Interaction. 293-296 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920293.htm db/conf/ah/ah2000.html#DimitrovaBB00 Christopher Bailey Wendy Hall David E. Millard Mark J. Weal Towards Open Adaptive Hypermedia. 36-46 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470036.htm db/conf/ah/ah2002.html#BaileyHMW02 Ricardo Azambuja Silveira Rosa Maria Vicari Improving Interactivity in e-Learning Systems with Multi-agent Architecture. 466-471 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470466.htm db/conf/ah/ah2002.html#SilveiraV02 Stefano Mizzaro Carlo Tasso Ephemeral and Persistent Personalization in Adaptive Information Access to Scholarly Publications on the Web. 306-316 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470306.htm db/conf/ah/ah2002.html#MizzaroT02 Luca Console S. Gioria I. Lombardi V. Surano Ilaria Torre Adaptation and Personalization on Board Cars: A Framework and Its Application to Tourist Services. 112-121 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470112.htm db/conf/ah/ah2002.html#ConsoleGLST02 Ana María Martínez Enríquez Dominique Decouchant Alberto L. Morán Jesús Favela An Adaptive Cooperative Web Authoring Environment. 535-538 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470535.htm db/conf/ah/ah2002.html#EnriquezDMF02 Charalampos Karagiannidis Demetrios G. Sampson Layered Evaluation of Adaptive Applications and Services. 343-346 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920343.htm db/conf/ah/ah2000.html#KaragiannidisS00 Anthony Jameson Eric Schwarzkopf Pros and Cons of Controllability: An Empirical Study. 193-202 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470193.htm db/conf/ah/ah2002.html#JamesonS02 Giovanni Fulantelli Riccardo Rizzo Marco Arrigo Rossella Corrao An Adaptive Open Hypermedia System on the Web. 305-310 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920305.htm db/conf/ah/ah2000.html#FulantelliRAC00 Ayse Göker Daqing He Analysing Web Search Logs to Determine Session Boundaries for User-Oriented Learning. 319-322 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920319.htm db/conf/ah/ah2000.html#GokerH00 Nora Koch Martin Wirsing The Munich Reference Model for Adaptive Hypermedia Applications. 213-222 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470213.htm db/conf/ah/ah2002.html#KochW02 Aditya V. Sunderam Automated Personalization of Internet News. 348-357 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470348.htm db/conf/ah/ah2002.html#Sunderam02 Meehee Lee Pyungseok Choi Yongtae Woo A Hybrid Recommender System Combining Collaborative Filtering with Neural Network. 531-534 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470531.htm db/conf/ah/ah2002.html#LeeCW02 Oreste Signore A Simple Architecture for Adaptive Hypertext. 568-571 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470568.htm db/conf/ah/ah2002.html#Signore02 Tom Murray Tina Shen Janette Piemonte Chris Condit Jason Thibedeau Adaptivity for Conceptual and Narrative Flow in Hyperbooks: The MetaLinks System. 155-166 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920155.htm db/conf/ah/ah2000.html#MurraySPCT00 Johan Bollen Group User Models for Personalized Hyperlink Recommendations. 38-50 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920038.htm db/conf/ah/ah2000.html#Bollen00 Liliana Ardissono Anna Goy Giovanna Petrone Marino Segnan Pietro Torasso Ubiquitous User Assistance in a Tourist Information Server. 14-23 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470014.htm db/conf/ah/ah2002.html#ArdissonoGPST02 Cornelia Seeberg Achim Steinacker Ralf Steinmetz Coherence in Modularly Composed Adaptive Learning Documents. 375-379 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920375.htm db/conf/ah/ah2000.html#SeebergSS00 Lim Tek Yong Tang Enya Kong The Exploratory of Personal Assistants. 608-612 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470608.htm db/conf/ah/ah2002.html#YongK02 Jaakko Kurhila Erkki Sutinen Adaptivity in AHMED. 351-354 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920351.htm db/conf/ah/ah2000.html#KurhilaS00 Jatinder Hothi Wendy Hall Tim Sly A Study Comparing the Use of Shaded Text and Adaptive Navigational Support in Adaptive Hypermedia. 335-342 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920335.htm db/conf/ah/ah2000.html#HothiHS00 Liliana Ardissono Anna Goy Dynamic Generation of Adaptive Web Catalogs. 5-16 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920005.htm db/conf/ah/ah2000.html#ArdissonoG00 Miguel A. Redondo Crescencio Bravo Manuel Ortega Felisa Verdejo PlanEdit: An Adaptive Problem Solving Tool for Design. 560-563 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470560.htm db/conf/ah/ah2002.html#RedondoBOV02 Sarit Kraus Alexander Kröner Lea Tsaban IMAP - Intelligent Multimedia Authoring Tools for Electronic Publishing. 527-530 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470527.htm db/conf/ah/ah2002.html#KrausKT02 Silvia Mara Abrahão Joan Fons Magalí González Oscar Pastor Conceptual Modeling of Personalized Web Applications. 358-362 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470358.htm db/conf/ah/ah2002.html#AbrahaoFGP02 Jaakko Kurhila Miikka Miettinen Petri Nokelainen Henry Tirri EDUCO - A Collaborative Learning Environment Based on Social Navigation. 242-252 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470242.htm db/conf/ah/ah2002.html#KurhilaMNT02 Mercedes Macías Julia González Fernando Sánchez On Adaptability of Web Sites for Visually Handicapped People. 264-273 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470264.htm db/conf/ah/ah2002.html#MaciasGS02 Hugo Liu Henry Lieberman Ted Selker GOOSE: A Goal-Oriented Search Engine with Commonsense. 253-263 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470253.htm db/conf/ah/ah2002.html#LiuLS02 Rosa M. Carro Ana M. Breda Gladys Castillo Antonio L. Bajuelos A Methodology for Developing Adaptive Educational-Game Environments. 90-99 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470090.htm db/conf/ah/ah2002.html#CarroBCB02 Martín González Rodríguez Benjamin López Pérez María del Puerto Paule Ruíz Juan Ramón Pérez Pérez Dynamic Generation of Interactive Dialogs Based on Intelligent Agents. 564-567 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470564.htm db/conf/ah/ah2002.html#RodriguezPRP02 Mona Laroussi Mohamed Ben Ahmed Mauro Marinilli An Adaptive Document Generation Based on Matrix of Contents. 355-358 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920355.htm db/conf/ah/ah2000.html#LaroussiAM00 Monica M. C. Schraefel ConTexts: Adaptable Hypermedia. 369-374 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920369.htm db/conf/ah/ah2000.html#Schraefel00 Alison Cawsey Euan W. Dempster Diana Bental Daniel Pacey Howard Williams Lachlan M. MacKinnon David H. Marwick Preventing Misleading Presentations of XML Documents: Some Initial Proposals. 492-496 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470492.htm db/conf/ah/ah2002.html#CawseyDBPWMM02 Barry Smyth Paul Cotter The Plight of the Navigator: Solving the Navigation Problem for Wireless Portals. 328-337 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470328.htm db/conf/ah/ah2002.html#SmythC02 Antonio Baena María-Victoria Belmonte Lawrence Mandow An Intelligent Tutor for a Web-Based Chess Course. 17-26 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920017.htm db/conf/ah/ah2000.html#BaenaBM00 Roland Hübscher Logically Optimal Curriculum Sequences for Adaptive Hypermedia Systems. 121-132 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920121.htm db/conf/ah/ah2000.html#Hubscher00 J. P. McGowan Nicholas Kushmerick Barry Smyth Who Do You Want to Be Today? Web Personae for Personalised Information Access. 514-517 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470514.htm db/conf/ah/ah2002.html#McGowanKS02 Hiroyuki Mitsuhara Youji Ochi Yoneo Yano Open-Ended Adaptive System for Facilitating Knowledge Construction in Web-Based Exploratory Learning. 547-550 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470547.htm db/conf/ah/ah2002.html#MitsuharaOY02 Marco Gori Marco Maggini Enrico Martinelli Franco Scarselli Learning User Profiles in NAUTILUS. 323-326 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920323.htm db/conf/ah/ah2000.html#GoriMMS00 Mikael Sollenborn Peter Funk Category-Based Filtering in Recommender Systems for Improved Performance in Dynamic Domains. 436-439 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470436.htm db/conf/ah/ah2002.html#SollenbornF02 Nicola Henze Wolfgang Nejdl Extendible Adaptive Hypermedia Courseware: Integrating Different Courses and Web Material. 109-120 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920109.htm db/conf/ah/ah2000.html#HenzeN00 Nicola Henze Wolfgang Nejdl Knowledge Modeling for Open Adaptive Hypermedia. 174-183 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470174.htm db/conf/ah/ah2002.html#HenzeN02 Jack Aaronson Is Personalization All About Technology? 1 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470001.htm db/conf/ah/ah2002.html#Aaronson02 Susana Montero Ignacio Aedo Paloma Díaz Generation of Personalized Web Courses Using RBAC. 419-423 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470419.htm db/conf/ah/ah2002.html#MonteroAD02 Angélique Boitel Dominique Leclet Web Information Retrieval for Designing Distance Hypermedia Courses. 272-275 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920272.htm db/conf/ah/ah2000.html#BoitelL00 Rushed Kanawati Maria Malek Behavioral Sequences: A New Log-Coding Scheme for Effective Prediction of Web User Accesses. 406-410 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470406.htm db/conf/ah/ah2002.html#KanawatiM02 Johann Gamper Judith Knapp Towards an Adaptive Learners' Dictionary. 311-314 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920311.htm db/conf/ah/ah2000.html#GamperK00 Luca Chittaro Roberto Ranon Adding Adaptive Features to Virtual Reality Interfaces for E-Commerce. 86-97 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920086.htm db/conf/ah/ah2000.html#ChittaroR00 Peter Dolog Mária Bieliková Navigation Modelling in Adaptive Hypermedia. 586-591 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470586.htm db/conf/ah/ah2002.html#DologB02 Roland Hübscher Sadhana Puntambekar Adaptive Navigation for Learners in Hypermedia Is Scaffolded Navigation. 184-192 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470184.htm db/conf/ah/ah2002.html#HubscherP02 Serge Garlatti Sébastien Iksal Concept Filtering and Spatial Filtering in an Adaptive Information System. 315-318 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920315.htm db/conf/ah/ah2000.html#GarlattiI00 Cristina Carmona David Bueno Eduardo Guzman Ricardo Conejo SIGUE: Making Web Courses Adaptive. 376-379 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470376.htm db/conf/ah/ah2002.html#CarmonaBGC02 Miguel Ángel Sicilia Urbán Paloma Díaz Ignacio Aedo Elena García Barriocanal Fuzzy Linguistic Summaries in Rule-Based Adaptive Hypermedia Systems. 317-327 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470317.htm db/conf/ah/ah2002.html#UrbanDAB02 Kyparisia A. Papanikolaou George D. Magoulas Maria Grigoriadou A Connectionist Approach for Supporting Personalized Learning in a Web-Based Learning Environment. 189-201 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920189.htm db/conf/ah/ah2000.html#PapanikolaouMG00 Elena Gaudioso Jesus Boticario User Data Management and Usage Model Acquisition in an Adaptive Educational Collaborative Environment. 143-152 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470143.htm db/conf/ah/ah2002.html#GaudiosoB02 Paul De Bra A. T. M. Aerts David Smits Natalia Stash AHA! Meets AHAM. 388-391 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470388.htm db/conf/ah/ah2002.html#BraASS02 Maria A. M. Souto Regina Verdin Ricardo Wainer Milton Madeira Mariusa Warpechowski Karine Beschoren Renata Zanella Juarez Sagebin Correa Rosa Maria Vicari José Palazzo M. de Oliveira Towards an Adaptive Web Training Environment Based on Cognitive Style of Learning: An Empirical Approach. 338-347 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470338.htm db/conf/ah/ah2002.html#SoutoVWMWBZCVO02 Owen Conlan Vincent Wade Catherine Bruen Mark Gargan Multi-model, Metadata Driven Approach to Adaptive Hypermedia Services for Personalized eLearning. 100-111 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470100.htm db/conf/ah/ah2002.html#ConlanWBG02 Muan Hong Ng Wendy Hall Pat Maier Ray Armstrong Using Effective Reading Speed to Integrate Adaptivity into Web-Based Learning. 428-431 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470428.htm db/conf/ah/ah2002.html#NgHMA02 Akihiro Kashihara Shinobu Hasegawa Jun'ichi Toyoda Adaptive Navigation Path Previewing for Learning on the Web. 518-521 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470518.htm db/conf/ah/ah2002.html#KashiharaHT02 Wolfgang Wahlster Resource-Adaptive Interfaces to Hybrid Navigation Systems. 12-13 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470012.htm db/conf/ah/ah2002.html#Wahlster02 Gregory M. P. O'Hare Katherine Sewell Aidan Murphy Thomas Delahunty ECHOES: An Immersive Training Experience. 179-188 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920179.htm db/conf/ah/ah2000.html#OHareSMD00 Marcus Specht ACE - Adaptive Courseware Environment. 380-383 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920380.htm db/conf/ah/ah2000.html#Specht00 Kristina Höök Jarmo Laaksolahti Martin Svensson Annika Waern Designing for Social Navigation of Food Recipes. 331-334 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920331.htm db/conf/ah/ah2000.html#HookLSW00 Rosa Arruabarrena Tomás A. Pérez J. López-Cuadrado Julián Gutiérrez Serrano José Ángel Vadillo Zorita On Evaluating Adaptive Systems for Education. 363-367 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470363.htm db/conf/ah/ah2002.html#ArruabarrenaPLGV02 Ilaria Torre A Modular Approach for User Modelling. 415-420 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920415.htm db/conf/ah/ah2000.html#Torre00 Ilaria Torre Users Modeling for Adaptive Call Centers. 603-607 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470603.htm db/conf/ah/ah2002.html#Torre02 Paolo Avesani Paolo Massa Michele Nori Angelo Susi Collaborative Radio Community. 462-465 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470462.htm db/conf/ah/ah2002.html#AvesaniMNS02 Seiji Yamada Yuki Nakai Monitoring Partial Updates in Web Pages Using Relational Learning. 452-455 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470452.htm db/conf/ah/ah2002.html#YamadaN02 Ana Belén Gil Francisco García Zahia Guessoum An Adaptive Agent Model for e-Commerce Architecture. 592-597 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470592.htm db/conf/ah/ah2002.html#GilGG02 Paul Cotter Barry Smyth WAP ing the Web: Content Personalisation for WAP-Enabled Devices. 98-108 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920098.htm db/conf/ah/ah2000.html#CotterS00 Hyeonjeong Mun Sooho Ok Yongtae Woo An Automatic Rating Technique Based on XML Document. 424-427 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470424.htm db/conf/ah/ah2002.html#MunOW02 Adrian Spalka Hanno Langweg Protecting the User from the Data: Security and Privacy Aspects of Public Web Access. 440-443 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470440.htm db/conf/ah/ah2002.html#SpalkaL02 Pedro Paredes Pilar Rodríguez Considering Sensing-Intuitive Dimension to Exposition-Exemplification in Adaptive Sequencing. 556-559 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470556.htm db/conf/ah/ah2002.html#ParedesR02 Mónica Trella Ricardo Conejo Eduardo Guzmán A Web-Based Socratic Tutor for Trees Recognition. 239-249 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920239.htm db/conf/ah/ah2000.html#TrellaCG00 Jennifer Healey Rafah Hosn Stéphane H. Maes Adaptive Content for Device Independent Multi-modal Browser Applications. 401-405 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470401.htm db/conf/ah/ah2002.html#HealeyHM02 Brent Martin Antonija Mitrovic WETAS: A Web-Based Authoring System for Constraint-Based ITS. 543-546 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470543.htm db/conf/ah/ah2002.html#MartinM02 Ross Wilkinson Shijian Lu François Paradis Cécile Paris Stephen Wan Mingfang Wu Generating Personal Travel Guides from Discourse Plans. 392-395 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920392.htm db/conf/ah/ah2000.html#WilkinsonLPPWW00 Mohit Goel Sudeshna Sarkar Web Site Personalization Using User Profile Information. 510-513 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470510.htm db/conf/ah/ah2002.html#GoelS02 Jesus Boticario Elena Gaudioso Felix Hernandez Adaptive Navigation Support and Adaptive Collaboration Support in WebDL. 51-61 2000 conf/ah/2000 AH http://link.springer.de/link/service/series/0558/bibs/1892/18920051.htm db/conf/ah/ah2000.html#BoticarioGH00 Ivan Koychev Tracking Changing User Interests through Prior-Learning of Context. 223-232 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470223.htm db/conf/ah/ah2002.html#Koychev02 Judith Masthoff Towards an Authoring Coach for Adaptive Web-Based Instruction. 415-418 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470415.htm db/conf/ah/ah2002.html#Masthoff02 Paola Carrara Daniela Fogli Giuseppe Fresta Piero Mussio User-Driven Adaptation of e-Documents. 484-487 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470484.htm db/conf/ah/ah2002.html#CarraraFFM02 Michael Grimsley Anthony Meehan A Web-Based Selling Agent That Maintains Customer Loyalty through Integrative Negotiation. 397-400 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470397.htm db/conf/ah/ah2002.html#GrimsleyM02 Henry Lieberman Hugo Liu Adaptive Linking between Text and Photos Using Common Sense Reasoning. 2-11 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470002.htm db/conf/ah/ah2002.html#LiebermanL02 Teresa Roselli Enrica Gentile Paola Plantamura Veronica Rossano Vittorio Saponaro A Non-invasive Cooperative Student Model. 432-435 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470432.htm db/conf/ah/ah2002.html#RoselliGPRS02 Stephan Weibelzahl Gerhard Weber Adapting to Prior Knowledge of Learners. 448-451 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470448.htm db/conf/ah/ah2002.html#WeibelzahlW02 Xiao-Dong Gu Jinlin Chen Wei-Ying Ma Guo-Liang Chen Visual Based Content Understanding towards Web Adaptation. 164-173 2002 conf/ah/2002 AH http://link.springer.de/link/service/series/0558/bibs/2347/23470164.htm db/conf/ah/ah2002.html#GuCMC02 Muhammad Afzal Upal Renee Elio Learning Rewrite Rules versus Search Control Rules to Improve Plan Quality. 240-253 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220240.htm db/conf/ai/ai2000.html#UpalE00 Aijun An Nick Cercone Xiangji Huang A Case Study for Learning from Imbalanced Data Sets. 1-15 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560001.htm db/conf/ai/ai2001.html#AnCH01 Gordon I. McCalla Advances in Artificial Intelligence, 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96, Toronto, Ontario, Canada, May 21-24, 1996, Proceedings Canadian Conference on AI Lecture Notes in Computer Science 1081 Springer 1996 3-540-61291-2 db/conf/ai/ai96.html Robert E. Mercer Eric Neufeld Advances in Artificial Intelligence, 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '98, Vancouver, BC, Canada, June 18-20, 1998, Proceedings Canadian Conference on AI Lecture Notes in Computer Science 1418 Springer 1998 3-540-64575-6 db/conf/ai/ai1998.html Howard J. Hamilton Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings Canadian Conference on AI Lecture Notes in Computer Science 1822 Springer 2000 3-540-67557-4 db/conf/ai/ai2000.html Eleni Stroulia Stan Matwin Advances in Artificial Intelligence, 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001, Proceedings Canadian Conference on AI Lecture Notes in Computer Science 2056 Springer 2001 3-540-42144-0 db/conf/ai/ai2001.html Robin Cohen Bruce Spencer Advances in Artificial Intelligence, 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002, Calgary, Canada, May 27-29, 2002, Proceedings Canadian Conference on AI Lecture Notes in Computer Science 2338 Springer 2002 3-540-43724-X db/conf/ai/ai2002.html Yuh-Jyh Hu Constructive Induction: A Preprocessor. 249-256 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Hu96 Tim Menzies Harhsinder Singh How AI Can Help SE; or: Randomized Search Not Considered Harmful. 100-110 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560100.htm db/conf/ai/ai2001.html#MenziesS01 Tamer S. Mahdi Robert E. Mercer A Lexical Functional Mapping Algorithm. 303-309 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380303.htm db/conf/ai/ai2002.html#MahdiM02 Eli Hagen Adelheit Stein Automatic Generation of a Complex Dialogue History. 84-96 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#HagenS96 Jean-Christophe Baillie Jean-Gabriel Ganascia Qualitative Descriptors and Action Perception. 316-325 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220316.htm db/conf/ai/ai2000.html#BaillieG00 Ali Farzan Ali A. Ghorbani The Bottom-Up Freezing: An Approach to Neural Engineering. 317-324 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560317.htm db/conf/ai/ai2001.html#FarzanG01 Mahmoud F. Hussin Badr M. Abouelnasr Amin A. Shoukry Comparative Study of Neural Network Controllers for Nonlinear Dynamic Systems. 357-368 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220357.htm db/conf/ai/ai2000.html#HussinAS00 Jie Cheng Russell Greiner Learning Bayesian Belief Network Classifiers: Algorithms and System. 141-151 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560141.htm db/conf/ai/ai2001.html#ChengG01 Huajie Zhang Charles X. Ling Zhiduo Zhao The Learnability of Naive Bayes. 432-441 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220432.htm db/conf/ai/ai2000.html#ZhangLZ00 James R. Parker Genetic Algorithms for Continuous Problems. 176-184 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380176.htm db/conf/ai/ai2002.html#Parker02 Andrew Fall Reference Constraints and Individual Level Inheritance. 336-348 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Fall96 Kayvan Najarian Guy A. Dumont Michael S. Davies Nancy E. Heckman Neural ARX Models and PAC Learning. 305-315 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220305.htm db/conf/ai/ai2000.html#NajarianDDH00 Chris Thornton Parity: The Problem that Won't Go Away. 362-374 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Thornton96 Jianchao Han Nick Cercone Typical Example Selection for Learning Classifiers. 347-356 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220347.htm db/conf/ai/ai2000.html#HanC00 Saeed Hashemi Incremental Case-Based Reasoning for Classification. 353-356 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560353.htm db/conf/ai/ai2001.html#Hashemi01 Wanlin Pang Scott D. Goodwin Characterizing Tractable CSPs. 259-272 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#PangG98 Aijun An Nick Cercone ELEM2: A Learning System for More Accurate Classifications. 426-441 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#AnC98 James P. Delgrande Arvind Gupta Revising TimeGraph-II. 349-362 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#DelgrandeG98 Marius-Calin Silaghi Djamila Sam-Haroud Boi Faltings Search Techniques for Non-linear Constraint Satisfaction Problems with Inequalities. 183-193 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560183.htm db/conf/ai/ai2001.html#SilaghiSF01 Craig Boutilier Moisés Goldszmidt The Frame Problem and Bayesian Network Action Representation. 69-83 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#BoutilierG96 Gary William Grewal Thomas Charles Wilson C. Nell An Enhanced Genetic Algorithm Approach to the Channel Assignment Problem in Mobile Cellular Networks. 325-333 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380325.htm db/conf/ai/ai2002.html#GrewalWN02 Robert C. Holte Combinatorial Auctions, Knapsack Problems, and Hill-Climbing Search. 57-66 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560057.htm db/conf/ai/ai2001.html#Holte01 Zuoquan Lin Paraconsistent Circumscription. 296-308 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Lin96 Suhayya Abu-Hakima Automating Model Acquisition by Fault Knowledge Re-Use: Introducing the Diagnostic Remodeler Algorithm. 442-456 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Abu-Hakima96 Fulai Wang Jim E. Greer Retrieval of Short Documents from Discussion Forums. 339-343 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380339.htm db/conf/ai/ai2002.html#WangG02 Martha E. Pollack Planning Algorithms and Planning Problems (Abstract). 457 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Pollack96 Sam Scott Robert J. Gaizauskas QA-LaSIE: A Natural Language Question Answering System. 172-182 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560172.htm db/conf/ai/ai2001.html#ScottG01 Golha Sharifi Julita Vassileva Ralph Deters Supporting the Needs of Mobile Home Care Workers: A Case Study for Saskatoon District Health System. 356-357 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380356.htm db/conf/ai/ai2002.html#SharifiVD02 Alan K. Mackworth Recycling the Cycle of Perception: A Polemic. 102-103 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380102.htm db/conf/ai/ai2002.html#Mackworth02 Peter Yap Grid-Based Path-Finding. 44-55 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380044.htm db/conf/ai/ai2002.html#Yap02 Jonathan Schaeffer Aske Plaat Unifying Single-Agent and Two-Player Search. 1-12 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220001.htm db/conf/ai/ai2000.html#SchaefferP00 Juan-Diego Zapata-Rivera cbCPT: Knowledge Engineering Support for CPTs in Bayesian Networks. 368-370 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380368.htm db/conf/ai/ai2002.html#Zapata-Rivera02 Wai Lam Snehasis Mukhopadhyay A Two-Level Approach to Learning in Nonstationary Environments. 271-283 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#LamM96 Robert C. Holte John Ng Yuen Yan Inferring What a User Is Not Interested in. 159-171 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#HolteY96 Eric Neufeld Clue as a Testbed for Automated Theorem Proving. 69-78 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380069.htm db/conf/ai/ai2002.html#Neufeld02 Guy W. Mineau Mounsif Lahboub Jean-Marie Beaulieu An Object Indexing Methodology as Support to Object Recognition. 72-85 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#MineauLB98 Z. M. Ma Wenjun Zhang Weiyin Ma Imprecise and Uncertain Engineering Information Modeling in Databases. 349-352 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560349.htm db/conf/ai/ai2001.html#MaZM01 Patrick Pantel Dekang Lin A Statistical Corpus-Based Term Extractor. 36-46 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560036.htm db/conf/ai/ai2001.html#PantelL01 Takeshi Koshiba Decision Tree Learning Systems with Switching Evaluators. 349-361 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Koshiba96 Yukio Ohsawa Mitsuru Ishizuka A Polynomial-Time Predicate-Logic Hypothetical Reasoning by Networked Bubble Propagation Method. 375-387 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#OhsawaI96 Hanh H. Pham Nguyen Van Hop Agents with Genders for Inventory Planning in E-Management. 267-276 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560267.htm db/conf/ai/ai2001.html#PhamN01 Johanne Morin Stan Matwin Relational Learning with Transfer of Knowledge Between Domains. 379-388 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220379.htm db/conf/ai/ai2000.html#MorinM00 Hanan Ayad Mohamed S. Kamel Topic Discovery from Text Using Aggregation of Different Clustering Methods. 161-175 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380161.htm db/conf/ai/ai2002.html#AyadK02 S. K. Michael Wong Tao Lin Dan Wu Construction of a Non-redundant Cover for Conditional Independencies. 210-220 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380210.htm db/conf/ai/ai2002.html#WongLW02 S. K. Michael Wong Dan Wu Tao Lin A Structural Characterization of DAG-Isomorphic Dependency Models. 195-209 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380195.htm db/conf/ai/ai2002.html#WongWL02 Kay Wiese Scott D. Goodwin The Effect of Genetic Operator Probabilities and Selection Strategies on the Performance of a Genetic Algorithm. 139-153 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#WieseG98 Brahim Chaib-draa A Hierarchical Model of Agent Based on Skill, Rules, and Knowledge. 200-212 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Chaib-draa96 Brahim Chaib-draa A Relational Modeling of Cognitive Maps. 322-333 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#Chaib-draa98 Brett Hodges Larry Hodgson Lessons Learned in the Development and Implementation of a Bilingual Nationally Accessible Knowledge-Based System. 211-219 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#HodgesH98 Sivakumar Nagarajan Scott D. Goodwin Abdul Sattar A Constraint Directed Model for Partial Constraint Satisfaction Problems. 26-39 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220026.htm db/conf/ai/ai2000.html#NagarajanGS00 Marc Sebban Anne M. Landraud Strings Clustering and Statistical Validation of Clusters. 298-309 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#SebbanL98 Marc Sebban Richard Nock Identifying and Eliminating Irrelevant Instances Using Information Theory. 90-101 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220090.htm db/conf/ai/ai2000.html#SebbanN00 Scott McDonald Davide Turcato Paul McFetridge Fred Popowich Janine Toole Collocation Discovery for Optimal Bilingual Lexicon Development. 126-137 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220126.htm db/conf/ai/ai2000.html#McDonaldTMPT00 David Nadeau Nicole Tourigny Évaluation d'un Système pour le Résumé Automatique de Documents Électroniques. 277-286 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560277.htm db/conf/ai/ai2001.html#NadeauT01 Ken Barker Sylvain Delisle Stan Szpakowicz Test-Driving TANKA: Evaluating a Semi-automatic System of Text Analysis for Knowledge Acquisition. 60-71 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#BarkerDS98 Yllias Chali Generic and Query-Based Text Summarization Using Lexical Cohesion. 293-302 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380293.htm db/conf/ai/ai2002.html#Chali02 David Chen Robin Cohen AERO: An Outsourced Approach to Exception Handling in Multi-agent Systems. 16-30 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380016.htm db/conf/ai/ai2002.html#ChenC02 R. Mike Cameron-Jones Andrew Charman-Williams Stacking for Misclassification Cost Performance. 215-224 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560215.htm db/conf/ai/ai2001.html#Cameron-JonesC01 Ali A. Ghorbani Lila Bayat Accelerated Backpropagation Learning: Extended Dynamic Parallel Tangent Optimization Algorithm. 293-304 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220293.htm db/conf/ai/ai2000.html#GhorbaniB00 Elizabeth Scarlett Stan Szpakowicz The Power of the TSNLP: Lessons from a Diagnostic Evaluation of a Broad-Coverage Parser. 138-150 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220138.htm db/conf/ai/ai2000.html#ScarlettS00 Nathalie Japkowicz Concept-Learning in the Presence of Between-Class and Within-Class Imbalances. 67-77 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560067.htm db/conf/ai/ai2001.html#Japkowicz01 Cory J. Butz Manon J. Sanscartier On the Role of Contextual Weak Independence in Probabilistic Inference. 185-194 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380185.htm db/conf/ai/ai2002.html#ButzS02 Laxmikanta Mishra Query-Less Retrieval of Interesting Postings in a WebForum. 371-372 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380371.htm db/conf/ai/ai2002.html#Mishra02 Y. Xiang Semantics of Multiply Selectioned Bayesian Networks for Cooperative Multi-agent Distributed Interpretation. 213-226 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Xiang96 Yang Xiang Temporally Invariant Junction Tree for Inference in Dynamic Bayesian Network. 363-377 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#Xiang98 Stuart I. Reynolds Adaptive Representation Methods for Reinforcement Learning. 345-348 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560345.htm db/conf/ai/ai2001.html#Reynolds01 István T. Hernádvölgyi Searching for Macro Operators with Automatically Generated Heuristics. 194-203 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560194.htm db/conf/ai/ai2001.html#Hernadvolgyi01 George V. Lashkia A Noise Filtering Method for Inductive Concept Learning. 79-89 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380079.htm db/conf/ai/ai2002.html#Lashkia02 Daniel L. Silver Robert E. Mercer The Task Rehearsal Method of Life-Long Learning: Overcoming Impoverished Data. 90-101 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380090.htm db/conf/ai/ai2002.html#SilverM02 Terry Copeck Nathalie Japkowicz Stan Szpakowicz Text Summarization as Controlled Search. 268-280 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380268.htm db/conf/ai/ai2002.html#CopeckJS02 Steffen Staab Udo Hahn Distance Constraint Arrays: A Model for Reasoning on Intervals with Qualitative and Quantitative Distances. 334-348 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#StaabH98 C. I. Ezeife Yue Su Mining Incremental Association Rules with Generalized FP-Tree. 147-160 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380147.htm db/conf/ai/ai2002.html#EzeifeS02 Eugene Charniak Parsing to Meaning, Statistically. 442 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220442.htm db/conf/ai/ai2000.html#Charniak00 Guan-Shieng Huang Xiumei Jia Churn-Jung Liau Jia-Huai You Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. 119-131 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380119.htm db/conf/ai/ai2002.html#HuangJLY02 Toby Donaldson Robin Cohen Selecting the Next Action with Constraints. 220-227 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#DonaldsonC98 Michael J. Dent Robert E. Mercer A New Model of Hard Binary Constraint Satisfaction Problems. 14-25 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#DentM96 Karan Bhatia Charles Elkan LPMEME: A Statistical Method for Inductive Logic Programming. 227-239 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#BhatiaE96 Jianjun Yan Naoyuki Tokuda Juichi Miyamichi Simulating Competing Alife Organisms by Constructive Compound Neural Networks. 267-279 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220267.htm db/conf/ai/ai2000.html#YanTM00 Lixin Yang Deborah A. Stacey Solving the Traveling Salesman Problem Using the Enhanced Genetic Algorithm. 307-316 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560307.htm db/conf/ai/ai2001.html#YangS01 Qiang Yang Jing Wu Keep It Simple: A Case-Base Maintenance Policy Based on Clustering and Information Theory. 102-114 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220102.htm db/conf/ai/ai2000.html#YangW00 Bob Price Craig Boutilier Imitation and Reinforcement Learning in Agents with Heterogeneous Actions. 111-120 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560111.htm db/conf/ai/ai2001.html#PriceB01 Fred Popowich A Chart Generator for Shake and Bake Machine Translation. 97-108 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Popowich96 Christel Kemke A Constructive Approach to Parsing with Neural Networks - The Hybrid Connectionist Parsing Method. 310-318 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380310.htm db/conf/ai/ai2002.html#Kemke02 Bernard Moulin Driss Kettani Benjamin Gauthier Walid Chaker Using Object Influence Areas to Quantitatively Deal with Neighborhood and Perception in Route Descriptions. 69-81 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220069.htm db/conf/ai/ai2000.html#MoulinKGC00 Jack van Rijswijck Are Bees Better than Fruitflies? 13-25 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220013.htm db/conf/ai/ai2000.html#Rijswijck00 Rony Abi-Aad Thiruvengadam Radhakrishnan Ahmed Seffah User Models: Customizing E-Commerce Websites to the Context of Use. 354-355 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380354.htm db/conf/ai/ai2002.html#Abi-AadRS02 Richard Frost Pierre Boulos An Efficient Compositional Semantics for Natural-Language Database Queries with Arbitrarily-Nested Quantification and Negation. 252-267 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380252.htm db/conf/ai/ai2002.html#FrostB02 Charles Hannon Diane J. Cook A Parallel Approach to Unified Cognitive Modeling of Language Processing within a Visual Context. 151-163 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220151.htm db/conf/ai/ai2000.html#HannonC00 Todd Eavis Nathalie Japkowicz A Recognition-Based Alternative to Discrimination-Based Multi-layer Perceptrons. 280-292 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220280.htm db/conf/ai/ai2000.html#EavisJ00 Gernot Stenz Andreas Wolf Scheduling Methods for Parallel Automated Theorem Proving. 254-266 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220254.htm db/conf/ai/ai2000.html#StenzW00 Mark D. Pendrith Malcolm R. K. Ryan Reinforcement Learning for Real-World Control Applications. 257-270 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#PendrithR96 Brock Barber Howard J. Hamilton Attribute Selection Strategies fro Attribute-Oriented Generalization. 429-441 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#BarberH96 Petr Pp Kubon Fred Popowich Gordon Tisher An Extendable Natural Language Interface to a Consumer Service Database. 82-89 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220082.htm db/conf/ai/ai2000.html#KubonPT00 Mauricio Osorio Juan Carlos Nieves Stratified Partial-Order Logic Programming. 225-235 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560225.htm db/conf/ai/ai2001.html#OsorioN01 Gary King Tim Oates The Importance of Being Discrete: Learning Classes of Actions and Outcomes through Interaction. 236-245 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560236.htm db/conf/ai/ai2001.html#KingO01 Jeff Bowes Eric Neufeld Jim E. Greer John Cooke A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data. 326-336 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220326.htm db/conf/ai/ai2000.html#BowesNGC00 Riverson Rios Stan Matwin Efficient Induction of Recursive Prolog Definitons. 240-248 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#RiosM96 Riverson Rios Stan Matwin Predicate Invention from a Few Examples. 455-466 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#RiosM98 Teresa Gonçalves Fernando Moura-Pires An Attribute Redundancy Measure for Clustering. 273-284 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#GoncalvesM98 Joseph C. Culberson Jonathan Schaeffer Searching with Pattern Databases. 402-416 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#CulbersonS96 Mario Jarmasz Stan Szpakowicz The Design and Implementation of an Electronic Lexical Knowledge Base. 325-334 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560325.htm db/conf/ai/ai2001.html#JarmaszS01 Jason Morrison Franz Oppacher Maintaining Genetic Diversity in Genetic Algorithms through Co-evolution. 128-138 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#MorrisonO98 John A. Allen Steven Minton Selecting the Right Heuristic Algorithm: Runtime Performance Predictors. 41-53 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#AllenM96 Bryan M. Kramer John Mylopoulos Michael E. Benjamin Q. B. Chou Peter Ahn John Opala Developing an Expert System Technology for Industrial Process Control: An Experience Report. 172-186 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#KramerMBCAO96 Mathias Sallé Electronic Contract Framework for Contractual Agents. 349-353 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380349.htm db/conf/ai/ai2002.html#Salle02 Akihiro Kishimoto Jonathan Schaeffer Transposition Table Driven Work Scheduling in Distributed Game-Tree Search. 56-68 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380056.htm db/conf/ai/ai2002.html#KishimotoS02 Jacky Baltes Planning Strategy Representation of DoLittle. 30-44 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#Baltes98 Yang Xiang Xiaohua Hu Nick Cercone Howard J. Hamilton Learning Pseudo-independent Models: Analytical and Experimental Results. 227-239 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220227.htm db/conf/ai/ai2000.html#XiangHCH00 Rattana Wetprasit Abdul Sattar Lina Khatib Reasoning with Multi-Point Events. 26-40 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#WetprasitSK96 Scott M. Brown Eugene Santos Jr. Sheila B. Banks Utility Theory-Based User Models for Intelligent Interface Agents. 378-392 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#BrownSB98 Susan L. Epstein Jenngang Shih Sequential Instance-Based Learning. 442-454 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#EpsteinS98 Jan M. Zytkow Automated Discovery: A Fusion of Multidisciplinary Principles. 443-448 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220443.htm db/conf/ai/ai2000.html#Zytkow00 Yann Chevaleyre Jean-Daniel Zucker Solving Multiple-Instance and Multiple-Part Learning Problems with Decision Trees and Rule Sets. Application to the Mutagenesis Problem. 204-214 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560204.htm db/conf/ai/ai2001.html#ChevaleyreZ01 Ramiro Liscano Katherine Baker John F. Meech The Use of Ontologies and Meta-knowledge to Facilitate the Sharing of Knowledge in a Multi-agent Personal Communication System. 187-200 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220187.htm db/conf/ai/ai2000.html#LiscanoBM00 Ahmed Y. Tawfik Trevor Barrie The Degeneration of Relevance in Uncertain Temporal Domains: An Empirical Study. 421-431 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220421.htm db/conf/ai/ai2000.html#TawfikB00 Vlado Keselj Question Answering Using Unification-Based Grammar. 297-306 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560297.htm db/conf/ai/ai2001.html#Keselj01 J. William Murdock Ashok K. Goel Learning about Constraints by Reflection. 131-140 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560131.htm db/conf/ai/ai2001.html#MurdockG01 Ken Barker Nadia Cornacchia Using Noun Phrase Heads to Extract Document Keyphrases. 40-52 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220040.htm db/conf/ai/ai2000.html#BarkerC00 Kay Wiese Scott D. Goodwin Sivakumar Nagarajan ASERC - A Genetic Sequencing Operator for Asymmetric Permutation Problems. 201-213 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220201.htm db/conf/ai/ai2000.html#WieseGN00 Liliana Ardissono Robin Cohen Extending the Role of user Feedback in Plan Recognition and Response Generation for Advice-Giving Systems: An Initial Report. 109-120 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#ArdissonoC96 Scott DeLoach Modeling Organizational Rules in the Multi-agent Systems Engineering Methodology. 1-15 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380001.htm db/conf/ai/ai2002.html#DeLoach02 Ken Barker A Trainable Bracketer for Noun Modifiers. 196-210 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#Barker98 Bradley Bart James P. Delgrande Oliver Schulte Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study. 121-130 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560121.htm db/conf/ai/ai2001.html#BartDS01 H. Altay Güvenir Aysegül Tunç Corpus-Based Learning of Generalized parse Tree Rules for Translation. 121-132 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#GuvenirT96 Charles X. Ling Handong Wang Learning Classifications from Multiple Sources of Unsupervised Data. 284-295 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#LingW96 Charles X. Ling Bei Zhang Grapheme Generation in Learning to Read English Words. 184-195 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#LingZ98 Jun Liu Kuo-Chu Chang Jing Zhou A Hybrid Convergent Method for Learning Probabilistic Networks. 393-410 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#LiuCZ98 Luc Plamondon Leila Kosseim QUANTUM: A Function-Based Question Answering System. 281-292 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380281.htm db/conf/ai/ai2002.html#PlamondonK02 Dong-Guk Shin Lung-Yung Chu Establishing Logical Connectivity between Query Keywords and Database Contents. 45-59 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#ShinC98 Charles Elkan Reasoning about Unknown, Counterfactual, and Nondeterministic Actions in First-Order Logic. 54-68 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Elkan96 Eduardo Pérez Larry A. Rendell Relational Concepts and the Fourier Transform: An Empirical Study. 411-425 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#PerezR98 Maria Fasli On Obligations, Relativised Obligations, and Bilateral Commitments. 287-296 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560287.htm db/conf/ai/ai2001.html#Fasli01 Zequn Zhou C. I. Ezeife A Low-Scan Incremental Association Rule Maintenance Method Based on the Apriori Property. 26-35 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560026.htm db/conf/ai/ai2001.html#ZhouE01 Qihua Situ Eleni Stroulia Task-Structure Based Mediation: The Travel-Planning Assistant Example. 400-410 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220400.htm db/conf/ai/ai2000.html#SituS00 Thodoros Topaloglou Efficient Algorithms for Qualitative Reasoning about Imprecise Space. 309-322 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Topaloglou96 Kamran Karimi Howard J. Hamilton RFCT: An Association-Based Causality Miner. 334-338 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380334.htm db/conf/ai/ai2002.html#KarimiH02 Yannick Lallement Mark S. Fox Interact: A Staged Approach to Customer Service Automation. 164-175 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220164.htm db/conf/ai/ai2000.html#LallementF00 Matthew Suderman James P. Delgrande Considerations on Compositional Update Operators. 411-420 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220411.htm db/conf/ai/ai2000.html#SudermanD00 Andreas Gerber Christian Ruß A Holonic Multi-agent Infrastructure for Electronic Procurement. 16-25 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560016.htm db/conf/ai/ai2001.html#GerberR01 Jan Bakus Mohamed S. Kamel Tom Carey Extraction of Text Phrases Using Hierarchical Grammar. 319-324 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380319.htm db/conf/ai/ai2002.html#BakusKC02 Thomas Tran Robin Cohen A Learning Algorithm for Buying and Selling Agents in Electronic Marketplaces. 366-367 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380366.htm db/conf/ai/ai2002.html#TranC02a Elhadi Shakshuki P. Kajonpotisuwan Multi-agent System Architecture for Computer-Based Tutoring Systems. 358-360 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380358.htm db/conf/ai/ai2002.html#ShakshukiK02 Rabih Neouchi Ahmed Y. Tawfik Richard A. Frost Towards a Temporal Extension of Formal Concept Analysis. 335-344 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560335.htm db/conf/ai/ai2001.html#NeouchiTF01 Kevin Kennedy Robert E. Mercer Planning Animations Using Cinematography Knowledge. 357-360 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560357.htm db/conf/ai/ai2001.html#KennedyM01 Kevin Kennedy Robert E. Mercer Using Communicative Acts to Plan the Cinematographic Structure of Animations. 132-146 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380132.htm db/conf/ai/ai2002.html#KennedyM02 Richard J. Wallace Enhancing Maximum Satisfiablility Algorithms with Pure Literal Strategies. 388-401 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#Wallace96 Sorin Draghici On the Complexity of VLSI-Friendly Neural Networks for Classification Problems. 285-297 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#Draghici98 Caroline Barrière Fred Popowich Expanding the Type Hierarchy with Nonlexical Concepts. 53-68 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220053.htm db/conf/ai/ai2000.html#BarriereP00 Adam Beacham Xinguang Chen Jonathan Sillito Peter van Beek Constraint Programming Lessons Learned from Crossword Puzzles. 78-87 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560078.htm db/conf/ai/ai2001.html#BeachamCSB01 Suhayya Abu-Hakima Ramiro Liscano Roger Impey A Common Multi-agent Testbed for Diverse Seamless Personal Information Networking Applications. 99-113 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#Abu-HakimaLI98 Fausto Giunchiglia Roberto Sebastiani Adolfo Villafiorita Toby Walsh A General Purpose Reasoner for Abstraction. 323-335 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#GiunchigliaSVW96 Alfred I. Renaud Word Prediction Evaluation Measures with Performance Benchmarking. 361-363 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380361.htm db/conf/ai/ai2002.html#Renaud02 Daniel Charlebois David G. Goodenough Stan Matwin A. S. (Pal) Bhogal Hugh Barclay Planning and Learning in a Natural Resource Information System. 187-199 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#CharleboisGMBB96 Y. Xiang J. Lee Local Score Computation in Learning Belief Networks. 152-161 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560152.htm db/conf/ai/ai2001.html#XiangL01 Yang Xiang Chenwen Ye Deborah Ann Stacey, Application of Bayesian Networks to Shopping Assistance. 344-348 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380344.htm db/conf/ai/ai2002.html#XiangY02 Tony Abou-Assaleh Nick Cercone Relaxed Unification - Proposal. 364-365 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380364.htm db/conf/ai/ai2002.html#Abou-AssalehC02 Silvia Breban Julita Vassileva Using Inter-agent Trust Relationships for Efficient Coalition Formation. 221-236 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380221.htm db/conf/ai/ai2002.html#BrebanV02 Bengt R. Knudsen Fault Prediction in the Telephone Access Loop Using a Neural Network. 239-245 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#Knudsen98 John Anderson Mark Evans Constraint-Directed Improvisation for Complex Domains. 1-13 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#AndersonE96 Aida Vitória Margarida Mamede On the Integration of Recursive ALN-Theories. 115-125 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220115.htm db/conf/ai/ai2000.html#VitoriaM00 Philippe Langlais Guy Lapalme Sébastien Sauvé User Interface Aspects of a Translation Typing System. 246-256 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560246.htm db/conf/ai/ai2001.html#LanglaisLS01 Jian Zhang Howard J. Hamilton Learning English Syllabification Rules. 246-258 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#ZhangH98 Mark Garzone Robert E. Mercer Towards an Automated Citation Classifier. 337-346 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220337.htm db/conf/ai/ai2000.html#GarzoneM00 Shawn Grant Gordon I. McCalla A Hybrid Approach to Making Recommendations and Its Application to the Movie Domain. 257-266 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560257.htm db/conf/ai/ai2001.html#GrantM01 Alan Fedoruk Ralph Deters Using Agent Replication to Enhance Reliability and Availability of Multi-agent Systems. 237-251 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380237.htm db/conf/ai/ai2002.html#FedorukD02 Michael C. Horsch William S. Havens Aditya Ghose Generalized Arc Consistency with Application to MaxCSP. 104-118 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380104.htm db/conf/ai/ai2002.html#HorschHG02 Vive S. Kumar Gordon I. McCalla Jim E. Greer Personalized Contexts in Help Systems. 162-171 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560162.htm db/conf/ai/ai2001.html#KumarMG01 Andreas Junghanns Jonathan Schaeffer Sokoban: Evaluating Standard Single-Agent Search Techniques in the Presence of Deadlock. 1-15 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#JunghannsS98 Thomas Tran Robin Cohen A Learning Algorithm for Buying and Selling Agents in Electronic Marketplaces. 31-43 2002 conf/ai/2002 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2338/23380031.htm db/conf/ai/ai2002.html#TranC02 Michael McGarity Finding Partitions for Learning Control of Dynamic Systems. 310-321 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#McGarity98 Sunil J. Noronha Stan Szpakowicz Negoplan: A System for Logic-Based Decision Modelling. 417-428 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#NoronhaS96 Udo Hahn Stefan Schulz Towards Very Large Terminological Knowledge Bases: A Case Study from Medicine. 176-186 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220176.htm db/conf/ai/ai2000.html#HahnS00 Udo Hahn Michael Strube PARSETALK about Functional Anaphora. 133-145 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#HahnS96 Udo Hahn Klemens Schnattinger Quality Control in the Concept Learning Process. 169-183 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#HahnS98 Jianchao Han Aijun An Nick Cercone CViz: An Interactive Visualization System for Rule Induction. 214-226 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220214.htm db/conf/ai/ai2000.html#HanAC00 Darse Billings Denis Papp Jonathan Schaeffer Duane Szafron Poker as Testbed for AI Research. 228-238 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#BillingsPSS98 Richard C. Bodner Fei Song Knowledge-Based Approaches to Query Expansion in Information Retrieval. 146-158 1996 conf/ai/1996 Canadian Conference on AI db/conf/ai/ai96.html#BodnerS96 Michael E. Bergen Peter van Beek Tom Carchrae Constraint-Based Vehicle Assembly Line Sequencing. 88-99 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560088.htm db/conf/ai/ai2001.html#BergenBC01 Richard Nock Babak Esfandiari Oracles and Assistants: Machine Learning Applied to Network Supervision. 86-98 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#NockE98 Jean Berger Martin Salois Regent Begin A Hybrid Genetic Algorithm for the Vehicle Routing Problem with Time Windows. 114-127 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#BergerSB98 Kamran Karimi The Iterative Multi-agent Method for Solving Complex Search Problems. 369-378 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220369.htm db/conf/ai/ai2000.html#Karimi00 Eric G. Berkowitz Peter H. Greene Body-Based Reasoning Using a Feeling-Based Lexicon, Mental Imagery, and an Object-Oriented Metaphor Hierarchy. 47-56 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560047.htm db/conf/ai/ai2001.html#BerkowitzG01 Joe MacInnes Omid Banyasad Afzal Upal Watching You, Watching Me. 361-364 2001 conf/ai/2001 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/2056/20560361.htm db/conf/ai/ai2001.html#MacInnesBU01 Una-May O'Reilly The Impact of External Dependency in Genetic Programming Primitives. 154-168 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#OReilly98 Don Banks Peter van Beek Amnon Meisels A Heuristic Incremental Modeling Approach to Course Timetabling. 16-29 1998 conf/ai/1998 Canadian Conference on AI db/conf/ai/ai1998.html#BanksBM98 Matthias Scheutz Surviving in a Hostile Multi-agent Environment: How Simple Affective States Can Aid in the Competition for Resources. 389-399 2000 conf/ai/2000 Canadian Conference on AI http://link.springer.de/link/service/series/0558/bibs/1822/18220389.htm db/conf/ai/ai2000.html#Scheutz00 Martin Wirsing Jan A. Bergstra Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987] Algebraic Methods Lecture Notes in Computer Science 394 Springer 1989 3-540-51698-0 db/conf/am/am1987.html Jan A. Bergstra Loe M. G. Feijs Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989] Algebraic Methods Lecture Notes in Computer Science 490 Springer 1991 3-540-53912-3 db/conf/am/am1989.html A. Mauboussin H. Perdrix Michel Bidoit Marie-Claude Gaudel Jacques Hagelstein From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. 395-431 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#MauboussinPBGH89 Rainer Weber Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems. 143-166 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#Weber89 Sjouke Mauw An Algebraic Specification of Process Algebra, Including Two Examples. 507-554 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#Mauw87 Jos C. M. Baeten Jan A. Bergstra Design of a Specification Language by Abstract Syntax Engineering. 363-394 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#Bergstra89 W. E. Baats Loe M. G. Feijs J. H. A. Gelissen A Formal Specifications of INGRES. 207-245 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#BaatsFG87 R. D. van den Bos Loe M. G. Feijs Rob C. van Ommering POLAR: A Picture-Oriented Language for Abstract Representations. 233-276 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#BosFO89 Loe M. G. Feijs Norman's Database Modularised in COLD-K. 205-231 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#Feijs89a Anthony Finkelstein Michael Goedicke Jeff Kramer Celso Niskier Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. 29-54 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#FinkelsteinGKN89 Paul Klint A Meta-Environment for Generating Programming Environments. 105-124 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#Klint89 Ernst-Rüdiger Olderog Krzysztof R. Apt Using Transformation to Verify Parallel Programs. 55-81 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#OlderogA89 Jacques Hagelstein Frank Ponsaert Introducing Formal Requirements into Industry. 129-141 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#HagelsteinP89 N. W. P. van Diepen Helmuth Partsch Formalizing Informal Reuqirments. Some Aspects. 7-27 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#DiepenP89 Sjouke Mauw Freek Wiedijk Specification of the Transit Node in PSF<sub>d</sub>. 341-361 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#MauwW89 Loe M. G. Feijs The Calculus lambda-pi. 307-330 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#Feijs87 Loe M. G. Feijs Transformations of Designs. 167-199 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#Feijs89 C. P. J. Koymanns Gerard R. Renardel de Lavalette The Logic MPL<sub>omega</sub>. 247-282 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#KoymannsL87 Rob J. van Glabbeek Frits W. Vaandrager Modular Specifications in Process Algebra with Curious Queues. 465-506 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#GlabbeekV87 Jan A. Bergstra Jan Willem Klop ACT<sub>tau</sub>: A Universal Axiom System for Process Specification. 447-463 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#BergstraK87 Horst Reichel Software Specification by Behavioural Canons. 117-138 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#Reichel87 H. B. M. Jonkers Description Algebra. 283-306 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#Jonkers87a Egidio Astesiano Alessandro Giovini Gianna Reggio Elena Zucca An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. 91-116 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#AstesianoGRZ87 Helmuth Partsch Algebraic Specification: A Step Towards Future Software Engineering. 7-30 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#Partsch87 Herbert Klaeren Klaus Indermark Efficient Implementation of an Algebraic Specification Language. 69-90 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#KlaerenI87 Alfons Geser A Specification of the intel 8085 Microprocessor: A Case Study. 347-401 1987 Algebraic Methods db/conf/am/am1987.html#Geser87 H. B. M. Jonkers An Introduction to COLD-K. 139-205 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#Jonkers87 H. B. M. Jonkers Inheritance in COLD. 277-301 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#Jonkers89 Heinrich Hußmann Alfons Geser The RAP System as a Tool for Testing COLD Specifications. 331-345 1987 Algebraic Methods db/conf/am/am1987.html#HussmannG87 Heinrich Hußmann Christian Rank Specification and Prototyping of a Compiler for a Small Applicative Language. 403-418 1987 Algebraic Methods db/conf/am/am1987.html#HussmannR87 Jos C. M. Baeten Jan A. Bergstra Sjouke Mauw Gert J. Veltink A Process Specification Formalism Based on Static COLD. 303-335 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#BaetenBMV89 C. A. Middelburg Experiences with Combining Formalisms in VVSL. 83-103 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#Middelburg89 Luigi Lavazza Stefano Crespi-Reghizzi Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. 419-446 1987 Algebraic Methods db/conf/am/am1987.html#LavazzaC87 Michel Bidoit Marie-Claude Gaudel A. Mauboussin How to Make Algebraic Specifications More Understandable?. 31-67 1987 conf/am/1987 Algebraic Methods db/conf/am/am1987.html#BidoitGM87 Otto Spaniol Fiona Williams Broadband Islands: Towards Integration, Proceedings of the 2nd Intermational Conference on Broadband Islands, Athens, Greece, 14-16 June 1993 Broadband Islands Elsevier 1993 0-444-81710-7 db/conf/bi/bi1993.html Wulf L. Bauerfeld Otto Spaniol Fiona Williams Broadband Islands '94, Connecting with the End-User, Proceedings of the 3rd Intermational Conference on Broadband Islands, Hamburg, Germany, 7-9 June, 1994 Broadband Islands North-Holland 1994 0-444-81905-3 db/conf/bi/bi1994.html Jürgen Bürstenbinder Is There Any Market for Advanced Multimedia Applications?. 405-408 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Burstenbinder94 Carsten Bormann Jörg Ott Gero Hoffmann First Experience with Multicasting the X Protocol. 443-448 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#BormannOH94 Theodoros Bozios Nikos B. Pronios Multimedia Synchronization: The Role of the Communication System. 151-172 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#BoziosP93 K. Schmidt On Connection Admission Control in Multicast ATM Networks. 457-462 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Schmidt94 Dino Giuli L. Baldini Stefano Nativi E. Dalle Mese M. Del Sarto S. Giordano Experimental multimedia broadband telecommunication service for Civil Protection application through an hydrometerological monitoring system. 309-316 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#GiuliBNMSG94 Yonggang Du Rolf Kraemer ATM-transceiver: A distributed approach to ATM LAN. 71-80 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#DuK94 Nobuyoshi Terashima Virtual Space Teleconferencing Systems - A Distributed Virtual Environment. 35-45 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Terashima94 Michel F. Roy Demonstration of Internetworking Via Optical Networks. 35-42 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#Roy93 Jesús Bescós José María Martínez Sanchez Guillermo Cisneros RAMA - Remote Access to Museums Archives. 327-334 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#BescosMC94 Sophie Dahan Serge Fdida Simon Znaty Congestion Management of LANs Interconnection across SMDS. 247-259 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#DahanFZ93 Jürgen Hänle A. Nemeth Multimedia Mail - a basis-Technology for new Applications and Services. 301-307 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#HanleN94 José María Martínez Sanchez Guillermo Cisneros Multimedia Application for Musea Database Consult. 51-62 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#MartinezC93 José Francisco C. Torcato The EC RACE Programme: from R&D to implementation - In search of the killer application. 43-50 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#Torcato93 José Francisco C. Torcato From RACE trans-European Demonstrators to first European Broadband Commercial Services. How to get there?. 349-356 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Torcato94 Jun Ma T. Antonelis K. Rahko Neurocontrol of a Broadband (ATM) Clos' Switching Network. 321-326 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#MaAR93 M. R. Doubleday Cost/Benefit issues for document delivery at Disclosure Ltd. 377-385 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Doubleday94 Roland Hüber Integrated Broadband Communications (IBC) - Towards integrating Islands and Applications. 3-34 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#Huber93 Roland Hüber Connecting with the End-User. 3-16 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Huber94 Rudolf Jaeger Bandwidth Management for a Hybrid LAN/MAN Environment. 221-232 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Jaeger94 H. J. M. Rutten Evaluation of Broadband Based Multimedia Applications - how to convince the business. 343-348 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Rutten94 T. J. Hewson A. M. Clarke Overview of the RACE II LUSI Project. 267-270 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#HewsonC93 David Lewis Jon Crowcroft Multimedia Applications and Services in the PREPARE Testbed. 327-330 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#LewisC93 David Lewis Peter T. Kirstein A Broadband Testbed for the Investigation of Multimedia Services and Teleservice Management. 265-276 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#LewisK94 P. Farkas S. Herrera M. Tvarozek Adaptive Image Coding Based on Generalized IBTC. 147-154 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#FarkasHT94 Marc Peeters How to exchance multimedia information in its natural form? 271-278 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#Peeters93 Susan Ablett David Cleevely Peter Aknai The Commercial and Economic Impact of ATM on the Telecommunications Market. 335-342 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#AblettCA94 B. J. Murphy C. J. Adams Sherali Zeadally The CHARISMA ATM Horst Interface. 81-100 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#MurphyAZ94 Laurent Dairaine Drift Matching Techniques for Time Signature Conservation Service. 241-252 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Dairaine94 Zbynek Bazanowski Ulrich Killat The Superposition of Virtual Connections with Periodic Traffic in an ATM Multiplexer. 233-240 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#BazanowskiK94 Siegfried Rausch Efstathios D. Sykas Integrated Broadband Communication (IBC) Service definition, description and functional specification. 303-306 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#RauschS93 A. M. Clarke G. Allison User Service Interfaces of the Future - Will People be able to Use Them?. 101-112 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#ClarkeA94 Edgar Ostrowski Frank Ruge Tele-Cooperation Requirements on the Transport Subsystem. 299-302 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#OstrowskiR93 Marcel P. P. Baveco Gert H. Kruithof L. J. Teunissen Petra Hoepner MultiMedia Mail using OSI: Bridging the gap between what exists and what is required. 293-298 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#BavecoKTH93 Helmut Leopold Geoff Coulson Kwaku Frimpong-Ansah David Hutchison Nikolaus Singer The evolving relationship between OSI and ODP in the new communications environment. 77-92 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#LeopoldCFHS93 I. A. Stevenson Broadband markets in Europe. 357-362 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Stevenson94 Louise Lamont Lian Li Nicolas D. Georganas Centralized and Distributed Architectures for Multimedia Presentational Applications. 59-70 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#LamontLG94 Dominic McGlinchey XACSE: Connection set-up for Broadband Services using Generic QoS Parameters. 307-310 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#McGlinchey93 José Miguel Salles Dias Niall Fallon Antonio Carlos Almeida Fergal McGuinness Josephine Hofmann Carlos A. C. Belo FASHION-NET, A Collaborative Multimedia Design System for the Apparel Industry. 317-326 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#DiasFAMHB94 Atte Kortekangas Jun Ma Markku Kylänpää Aarne Rantala Video on Workstation - the Software-based Solution. 263-266 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#KortekangasMKR93 Stephen Connell B. Champness Applications for Broadband Communication Services - An Empirica Analysis. 287-292 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#ConnellC94 Odysseas G. Koufopavlou Ahmed N. Tantawy Martina Zitterbart An ATM Communication Workstation. 93-104 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#KoufopavlouTZ93 Volker Henkel Cornelius Frankenfeld Kai Klapdohr Kerstin Menzer Andreas Schmidt A High Performance ATM/DQDB Cell to Slot Interworking Unit. 453-456 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#HenkelFKMS94 Samir Chatterjee Mostafa A. Bassiouni Congestion Free Multimedia Communications over Broadband ATM Networks. 235-246 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#ChatterjeeB93 Wassim Tawbi Linda Fedaoui Eric Horlait Dynamic QoS Issues in Distributed Multimedia Systems. 117-124 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#TawbiFH93 Richard J. Solomon Branko Gerovac Multimedia and Copyright: a potential solution using an identification header. 17-34 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#SolomonG94 Lian Li Louise Lamont Ahmed Karmouch Nicolas D. Georganas A Distributed Synchronization Control Scheme in a Group-oriented Conferencing System. 193-204 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#LiLKG93 Luis Orozco-Barbosa Abinder S. Dhillon Study of multimedia variable bit rate video and voice sources over FDDI Networks. 223-234 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#Orozco-BarbosaD93 K. Qian D. McDonald Nicolas D. Georganas Modeling of multimedia sources and an algorithm for bandwidth management. 139-149 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#QianMG93 Ulf Bilting Martina Angela Sasse Claus-Dieter Schulz Thierry Turletti International Research Seminars through Multimedia Conferencing: Experiences from the MICE project. 411-414 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#BiltingSST94 Ethan Lavan Gilbert Buty Communication Requirements for Multimedia Information Management in Tourism: The TIM Solution. 415-418 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#LavanB94 Gabriel Dermler Thomas Gutekunst Edgar Ostrokowski Nelson Pires Thomas Schmidt Michael Weber Klaus Heiner Wolf JVTOS - A Multimedia Telecooperation Service Bridging Heterogeneous Platforms. 463-478 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#DermlerGOPSWW94 Samar Singh A proposed framework for preventive load control in ATM networks, and its analysis. 205-222 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#Singh93 Alessandro Bellini F. Pirri Marco Guarducci Multimedia Applications on Local Area Networks: A Practical Experience. 389-396 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#BelliniPG94 Malcolm K. Crowe Shicheng Tian Introduction to Multimedia Toolbox for Co-operative Applications (MMTCA). 113-124 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#CroweT94 Zhili Sun P. Komisarczuk F. P. Coakley Barry G. Evans Modelling the Satellite Bridge for B-ISDN Islands. 211-219 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#SunKCE94 Omar Megzari M. B. Brahmanandam J. A. Rody G. Warnock Ahmed Karmouch MEDIABASE - An Experiment in Multimedia Information and Communication Systems. 435-438 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#MegzariBRWK94 Thomas Gutekunst Bernhard Plattner Sharing Multimedia Applications among Heterogeneous Workstations. 173-191 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#GutekunstP93 Klaus Lohse Interconnecting LANs within the DBP Telekom B-ISDN pilot project - The Terminal Adapter TA-LAN. 397-403 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Lohse94 Constantine Stephanidis George Vareltzis Panayiotis Galatis Pier Luigi Emiliani Critical issues related to the accessibility of B-ISDN services by People with special needs. 279-285 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#StephanidisVGE93 Petra Hoepner Marek Szymañski Marcel P. P. Baveco MMMS - A Multimedia Mail Service Prototype. 125-136 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#HoepnerSB94 Iain E. Garden Richardson Martyn J. Riley ATM Cell Loss Effects on a Progressive JPEG Video CODEC. 155-165 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#RichardsonR94 Volker Reible Andreas Kindt Broadband Applications in the Printing and Publishing Sector. 363-370 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#ReibleK94 L. J. Teunissen W. M. Remmers Marcel P. P. Baveco E. P. van Zonneveld Integrating MultiMedia Components into the Value-chain. 279-286 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#TeunissenRBZ94 Håkan Mitts Universal Mobile Telecommunication System - Mobile access to Broadband ISDN. 203-209 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Mitts94 Klaus Lenßen Steven Hand Arno Spinner Towards the Messaging System of Tomorrow. 287-292 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#LenssenHS93 Valérie Gay Peter Leydekkers Robert Huis in 't Veld Specification of Audio/Video Exchange Based on the Reference Model of ODP. 179-191 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#GayLV94 Colin Tattersall Jacob Groote Gerard Pazuelo Satisfying enterprise-wide telecommunications needs: decision support for requirements engineering. 137-146 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#TattersallGP94 Byeong-Soo Choi Do-Young Kim Dong-Won Kim Byeong-Nam Yoon The Architecture Design of General Purpose ATM Interface Module Providing Network Traffic Integration. 449-452 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#ChoiKKY94 Arnon Tubtiang Guy Pujolle Enhancement of the SAS switch: Simple ATM Switching and its Performance. 311-320 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#TubtiangP93 Stefan Eysen Markus Zink Data Handling and Broadband-Transmission of Engraving Data. 371-376 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#EysenZ94 K. Coolegem K. Anstötz MIMIS - Advanced multimedia conferencing using ATM connections. A development for the mass market in co-operation with the end-user. 293-299 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#CoolegemA94 Mazlan Abbas Modelling of Multimedia Traffic Control for ATM Networks. 253-264 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Abbas94 Jürgen M. Schneider William Donnelly An open Architecture for Inter-domain Communications Management in the PREPARE Testbed. 125-137 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#SchneiderD93 S. Jordanoski Danco Davcev S. Gievska An Object Oriented System for Creation and Presentation of Multimedia Streams. 439-442 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#JordanoskiDG94 Paulo Pinto Luis Bernardo Paulo Pereira A Constructive Type Schema for Distributed Multimedia Applications. 419-434 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#PintoBP94 Stephen Connell Broadband Communications Services and the applications they support. 63-75 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#Connell93 Martin Guntermann Carmelita Görg M. Fröhlich Stephan Kleier IN based End-User Service Management for Advanced UPT. 193-201 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#GuntermannGFK94 Reiner Kästner The Impact of IBC on Non Destructive Testing in the Industrial Quality Assurance Process. 387-388 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Kastner94 Stik Myken String Mode - A Protocol for Interconnection of High Speed ATM Networks. 49-58 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#Myken94 J. Emery Ahmed Karmouch A Multimedia Document Architecture and Rendering Synchronization Scheme. 105-115 1993 conf/bi/1993 Broadband Islands db/conf/bi/bi1993.html#EmeryK93 Laurent Mathy Guy Leduc Olivier Bonaventure André A. S. Danthine A Group Communication Framework. 167-178 1994 conf/bi/1994 Broadband Islands db/conf/bi/bi1994.html#MathyLBD94 Preface. 2000 CA http://computer.org/proceedings/ca/0683/0683vii.pdf db/conf/ca/ca2000.html#X00 Preface. 1999 CA http://dlib.computer.org/conferen/ca/0167/pdf/0167ix.pdf db/conf/ca/ca1999.html#X99 Chairs. 2000 CA http://computer.org/proceedings/ca/0683/0683viii.pdf db/conf/ca/ca2000.html#X00a Program Committee and Auxiliary Reviewers. 2000 CA http://computer.org/proceedings/ca/0683/0683ix.pdf db/conf/ca/ca2000.html#X00b Conference Committee. 1999 CA http://dlib.computer.org/conferen/ca/0167/pdf/0167x.pdf db/conf/ca/ca1999.html#X99a Program Committee. 1999 CA http://dlib.computer.org/conferen/ca/0167/pdf/0167xi.pdf db/conf/ca/ca1999.html#X99b Stéphane Donikian A. Chauffaut Thierry Duval R. Kulpa GASP: From Modular Programming to Distributed Execution. 79-87 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410079.pdf db/conf/ca/ca1998.html#DonikianCDK98 Richard E. Parent Computer Animation: Algorithms and Techniques - A Historical Review. 86- 2000 CA http://computer.org/proceedings/ca/0683/06830086abs.htm db/conf/ca/ca2000.html#Parent00 L. Herda Pascal Fua Ralf Plänkers Ronan Boulic Daniel Thalmann Skeleton-based Motion Capture for Robust Reconstruction of Human Motion. 77- 2000 CA http://computer.org/proceedings/ca/0683/06830077abs.htm db/conf/ca/ca2000.html#HerdaFPBT00 Magy Seif El-Nasr Thomas R. Ioerger John Yen Donald H. House Frederic I. Parke Emotionally Expressive Agents. 48-57 1999 CA http://computer.org/proceedings/ca/0167/01670048abs.htm db/conf/ca/ca1999.html#El-NasrIYHP99 James J. Kuffner Jr. Jean-Claude Latombe Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans. 118-127 1999 CA http://computer.org/proceedings/ca/0167/01670118abs.htm db/conf/ca/ca1999.html#KuffnerL99 Michael Hoch Daniel Schwabe Group Interaction in a Surround Screen Environment. 92-98 1999 CA http://computer.org/proceedings/ca/0167/01670092abs.htm db/conf/ca/ca1999.html#HochS99 Lawson Wade Richard E. Parent Fast, Fully-Automated Generation of Control Skeletons for Use in Animation. 164-169 2000 CA http://computer.org/proceedings/ca/0683/06830164abs.htm db/conf/ca/ca2000.html#WadeP00 Herve Delingette Stephane Cotin Nicholas Ayache A Hybrid Elastic Model Allowing Real-Time Cutting, Deformations and Force-Feedback for Surgery Training and Simulation. 70-81 1999 CA http://computer.org/proceedings/ca/0167/01670070abs.htm db/conf/ca/ca1999.html#DelingetteCA99 Ioannis A. Kakadiaris Dimitris N. Metaxas Vision-Based Animation of Digital Humans. 144- 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410144.pdf db/conf/ca/ca1998.html#KakadiarisM98 Janzen Lo Dimitris N. Metaxas Recursive Dynamics and Optimal Control Techniques for Human Motion Planning. 220- 1999 CA http://computer.org/proceedings/ca/0167/01670220abs.htm db/conf/ca/ca1999.html#LoM99 Katsuaki Kawachi Hiromasa Suzuki Fumihiko Kimura Technical Issues on Simulating Impulse and Friction in Three Dimensional Rigid Body Dynamics. 170-176 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410170.pdf db/conf/ca/ca1998.html#KawachiSK98 Franck Multon Bruno Arnaldi Human Motion Coordination: Example of a Juggler. 148-159 1999 CA http://computer.org/proceedings/ca/0167/01670148abs.htm db/conf/ca/ca1999.html#MultonA99 Yilun Dianna Xu Norman I. Badler Algorithms for Generating Motion Trajectories Described by Prepositions. 30-35 2000 CA http://computer.org/proceedings/ca/0683/06830030abs.htm db/conf/ca/ca2000.html#XuB00 Qinxin Yu Demetri Terzopoulos Synthetic Motion Capture for Interactive Virtual Worlds. 2-10 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410002.pdf db/conf/ca/ca1998.html#YuT98 Tony Ezzat Tomaso Poggio MikeTalk: A Talking Facial Display Based on Morphing Visemes. 96-102 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410096.pdf db/conf/ca/ca1998.html#EzzatP98 Tae-Yong Kim Ulrich Neumann A Thin Shell Volume for Modeling Human Hair. 104-111 2000 CA http://computer.org/proceedings/ca/0683/06830104abs.htm db/conf/ca/ca2000.html#KimN00 Luciana Porcher Nedel Daniel Thalmann Modeling and Deformation of the Human Body using an Anatomically-Based Approach. 34-40 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410034.pdf db/conf/ca/ca1998.html#NedelT98 Tolga K. Capin Maja Jovovic Joaquim Esmerado Amaury Aubel Daniel Thalmann Efficient Network Transmission of Virtual Human Bodies. 41-48 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410041.pdf db/conf/ca/ca1998.html#CapinJEAT98 Raymond Smith Wei Sun Adrian Hilton John Illingworth Layered Animation using Displacement Maps. 146- 2000 CA http://computer.org/proceedings/ca/0683/06830146abs.htm db/conf/ca/ca2000.html#SmithSHI00 Shih-kai Chung James K. Hahn Animation of Human Walking in Virtual Environments. 4-15 1999 CA http://computer.org/proceedings/ca/0167/01670004abs.htm db/conf/ca/ca1999.html#ChungH99 Luiz-Marcos Garcia Fernando Wagner da Silva Roderic A. Grupen Ricardo C. Farias Towards an Architecture for Artificial Animated Creatures. 170-175 2000 CA http://computer.org/proceedings/ca/0683/06830170abs.htm db/conf/ca/ca2000.html#GarciaSGF00 Jan M. Allbeck Norman I. Badler Avatars á la Snow Crash. 19-24 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410019.pdf db/conf/ca/ca1998.html#AllbeckB98 B. Uz Ugur Güdükbay Bülent Özgüç Realistic Speech Animation of Synthetic Faces. 111-118 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410111.pdf db/conf/ca/ca1998.html#UzGO98 Yin Wu Pierre Beylot Nadia Magnenat-Thalmann Skin Aging Estimation by Facial Simulation. 210- 1999 CA http://computer.org/proceedings/ca/0167/01670210abs.htm db/conf/ca/ca1999.html#WuBM99 Yahya Aydin Masayuki Nakajima Realistic Articulated Character Positioning and Balance Control in Interactive Environments. 160- 1999 CA http://computer.org/proceedings/ca/0167/01670160abs.htm db/conf/ca/ca1999.html#AydinN99 Arthur D. Gregory Andrei State Ming C. Lin Dinesh Manocha Mark A. Livingston Feature-based Surface Decomposition for Correspondence and Morphing Between Polyhedra. 64-71 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410064.pdf db/conf/ca/ca1998.html#GregorySLML98 Adrian Hilton Daniel Beresford Thomas Gentils Raymond Smith Wei Sun Virtual People: Capturing Human Models to Populate Virtual Worlds. 174-185 1999 CA http://computer.org/proceedings/ca/0167/01670174abs.htm db/conf/ca/ca1999.html#HiltonBGSS99 Kevin T. McDonnell Hong Qin Dynamic Sculpting and Animation of Free-form Subdivision Solids. 126-133 2000 CA http://computer.org/proceedings/ca/0683/06830126abs.htm db/conf/ca/ca2000.html#McDonnellQ00 Sandra Sudarsky Donald H. House An Integrated Approach towards the Representation, Manipulation and Reuse of Pre-Recorded Motion. 56-61 2000 CA http://computer.org/proceedings/ca/0683/06830056abs.htm db/conf/ca/ca2000.html#SudarskyH00 Thierry Lebourque Sylvie Gibet High Level Specification and Control of Communication Gestures: The GESSYCA System. 24- 1999 CA http://computer.org/proceedings/ca/0167/01670024abs.htm db/conf/ca/ca1999.html#LebourqueG99 François Boux de Casson Christian Laugier Simulating 2D Tearing Phenomena for Interactive Medical Surgery Simulators. 9-14 2000 CA http://computer.org/proceedings/ca/0683/06830009abs.htm db/conf/ca/ca2000.html#CassonL00 Yan Chen Qing-hong Zhu Arie E. Kaufman Shigeru Muraki Physically-based Animation of Volumetric Objects. 154-160 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410154.pdf db/conf/ca/ca1998.html#ChenZKM98 Adam D. Worrall David Hedley Derek J. Paddon Interactive Animation of Soft Shadows. 88- 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410088.pdf db/conf/ca/ca1998.html#WorrallHP98 Pascal Volino Nadia Magnenat-Thalmann Accurate Collision Response on Polygonal Meshes. 154-163 2000 CA http://computer.org/proceedings/ca/0683/06830154abs.htm db/conf/ca/ca2000.html#VolinoM00 Pascal Volino Nadia Magnenat-Thalmann The SPHERIGON: A Simple Polygon Patch for Smoothing Quickly Your Polygonal Meshes. 72-78 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410072.pdf db/conf/ca/ca1998.html#VolinoM98 Siome Goldenstein Edward W. Large Dimitris N. Metaxas Dynamic Autonomous Agents: Game Applications. 25- 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410025.pdf db/conf/ca/ca1998.html#GoldensteinLM98 Frederic Cordier Nadia Magnenat-Thalmann Integrated System for Skin Deformation. 2-8 2000 CA http://computer.org/proceedings/ca/0683/06830002abs.htm db/conf/ca/ca2000.html#CordierM00 N. Loofbourrow A Compositional, Constraint-based Model of Statics. 177-184 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410177.pdf db/conf/ca/ca1998.html#Loofbourrow98 V. Chandru N. Mahesh M. Manivannan Swami Manohar Volume Sculpting and Keyframe Animation System. 134-139 2000 CA http://computer.org/proceedings/ca/0683/06830134abs.htm db/conf/ca/ca2000.html#ChandruMMM00 Waiming Kong Masayuki Nakajima Visible Volume Buffer for Efficient Hair Expression and Shadow Generation. 58- 1999 CA http://computer.org/proceedings/ca/0167/01670058abs.htm db/conf/ca/ca1999.html#KongN99 Stefan Kopp Ipke Wachsmuth Planning and Motion Control in Lifelike Gesture: A Refined Approach. 92-97 2000 CA http://computer.org/proceedings/ca/0683/06830092abs.htm db/conf/ca/ca2000.html#KoppW00 Jörn Ostermann Animation of Synthetic Faces in MPEG-4. 49-55 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410049.pdf db/conf/ca/ca1998.html#Ostermann98 Tsai-Yen Li Jyh-Ming Lien Shih-Yen Chiu Tzong-Hann Yu Automatically Generating Virtual Guided Tours. 99-106 1999 CA http://computer.org/proceedings/ca/0167/01670099abs.htm db/conf/ca/ca1999.html#LiLCY99 ChanJong Park Il-Kwon Jeong Hyeong-Kyo Kim KwangYun Wohn Sensor Fusion for Motion Capture System based on System Identification. 71-76 2000 CA http://computer.org/proceedings/ca/0683/06830071abs.htm db/conf/ca/ca2000.html#ParkJKW00 Eric Fausett Alexander A. Pasko Valery Adzhiev Space-Time and Higher Dimensional Modeling for Animation. 140-145 2000 CA http://computer.org/proceedings/ca/0683/06830140abs.htm db/conf/ca/ca2000.html#FausettPA00 Frank Dachille Arie E. Kaufman High-Degree Temporal Antialiasing. 49- 2000 CA http://computer.org/proceedings/ca/0683/06830049abs.htm db/conf/ca/ca2000.html#DachilleK00 C. Kouadio Pierre Poulin P. Lachapelle Real-Time Facial Animation based upon a Bank of 3D Facial Expressions. 128-136 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410128.pdf db/conf/ca/ca1998.html#KouadioPL98 Hironobu Gotoda Moving Finite Elements for Simulating Creasing Phenomena of Nearly Unstretchable Sheet Materials. 21- 2000 CA http://computer.org/proceedings/ca/0683/06830021abs.htm db/conf/ca/ca2000.html#Gotoda00 Gwenola Thomas Stéphane Donikian Virtual Humans Animation in Informed Urban Environments. 112- 2000 CA http://computer.org/proceedings/ca/0683/06830112abs.htm db/conf/ca/ca2000.html#ThomasD00 Jonas Gomes Luiz Velho Fernando Wagner da Silva Siome Goldenstein Motion Processing using Variable Harmonic Components. 62-70 2000 CA http://computer.org/proceedings/ca/0683/06830062abs.htm db/conf/ca/ca2000.html#GomesVSG00 Marcelo Kallmann Daniel Thalmann A Behavioral Interface to Simulate Agent-Object Interactions in Real-Time. 138- 1999 CA http://computer.org/proceedings/ca/0167/01670138abs.htm db/conf/ca/ca1999.html#KallmannT99 Wookho Son Kyunghwan Kim Nancy M. Amato An Interactive Generalized Motion Simulator (GMS) in an Object-Oriented Framework. 176- 2000 CA http://computer.org/proceedings/ca/0683/06830176abs.htm db/conf/ca/ca2000.html#SonKA00 François Faure Chris Faisstnauer Gerd Hesina Amaury Aubel M. Escher Frédéric Labrosse Jean-Christophe Nebel Jean-Dominique Gascuel Collaborative Animation over the Network. 107- 1999 CA http://computer.org/proceedings/ca/0167/01670107abs.htm db/conf/ca/ca1999.html#FaureFHAELNG99 Daniel Thalmann Individual and Group Behaviors for Virtual Humans. 122- 2000 CA http://computer.org/proceedings/ca/0683/06830122abs.htm db/conf/ca/ca2000.html#Thalmann00 Franck Multon Jean-Luc Nougaret Gérard Hégron Luc Millet Bruno Arnaldi A Software System to Carry-out Virtual Experiments on Human Motion. 16-23 1999 CA http://computer.org/proceedings/ca/0167/01670016abs.htm db/conf/ca/ca1999.html#MultonNHMA99 Katherine Pullen Christoph Bregler Animating by Multi-Level Sampling. 36-42 2000 CA http://computer.org/proceedings/ca/0683/06830036abs.htm db/conf/ca/ca2000.html#PullenB00 Randolph M. Jones John E. Laird Paul E. Nielsen Real-Time Intelligent Characters for a Non-Visual Simulation Environment. 11-18 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410011.pdf db/conf/ca/ca1998.html#JonesLN98 Liwei Zhao Monica Costa Norman I. Badler Interpreting Movement Manner. 98-103 2000 CA http://computer.org/proceedings/ca/0683/06830098abs.htm db/conf/ca/ca2000.html#ZhaoCB00 Eric Cosatto Hans Peter Graf Sample-Based Synthesis of Photo-Realistic Talking Heads. 103-110 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410103.pdf db/conf/ca/ca1998.html#CosattoG98 V. Popescu Grigore Burdea Mourad Bouzit Virtual Reality Simulation Modeling for a Haptic Glove. 195-200 1999 CA http://computer.org/proceedings/ca/0167/01670195abs.htm db/conf/ca/ca1999.html#PopescuBB99 Yoshihiro Okada Kenro Shinpo Yuzuru Tanaka Daniel Thalmann Virtual Input Devices based on Motion Capture and Collision Detection. 201- 1999 CA http://computer.org/proceedings/ca/0167/01670201abs.htm db/conf/ca/ca1999.html#OkadaSTT99 Marc Escher Igor S. Pandzic Nadia Magnenat-Thalmann Facial Deformations for MPEG-4. 56- 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410056.pdf db/conf/ca/ca1998.html#EscherPT98 Jean-Christophe Lombardo Marie-Paule Cani Fabrice Neyret Real-Time Collision Detection for Virtual Surgery. 82- 1999 CA http://computer.org/proceedings/ca/0167/01670082abs.htm db/conf/ca/ca1999.html#LombardoCN99 Gilles Debunne Mathieu Desbrun Marie-Paule Cani Alan H. Barr Adaptive Simulation of Soft Bodies in Real-Time. 15-20 2000 CA http://computer.org/proceedings/ca/0683/06830015abs.htm db/conf/ca/ca2000.html#DebunneDCB00 Martin Jägersand Image based Animation from Learned Visual-Motor Models. 43-48 2000 CA http://computer.org/proceedings/ca/0683/06830043abs.htm db/conf/ca/ca2000.html#Jagersand00 Aboul Ella Hassanien Masayuki Nakajima Image Morphing of Facial Images Transformation based on Navier Elastic Body Splines. 119- 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410119.pdf db/conf/ca/ca1998.html#HassanienN98 Philip Schneider Jane Wilhelms Hybrid Anatomically Based Modeling of Animals. 161-169 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410161.pdf db/conf/ca/ca1998.html#SchneiderW98 Won-Sook Lee Marc Escher Gaël Sannier Nadia Magnenat-Thalmann MPEG-4 Compatible Faces from Orthogonal Photos. 186-194 1999 CA http://computer.org/proceedings/ca/0167/01670186abs.htm db/conf/ca/ca1999.html#LeeESM99 Domingo Martín Juan Carlos Torres Alhambra: A System for Producing 2D Animation. 38-47 1999 CA http://computer.org/proceedings/ca/0167/01670038abs.htm db/conf/ca/ca1999.html#MartinT99 Norman I. Badler Diane M. Chi Sonu Chopra-Khullar Virtual Human Animation based on Movement Observation and Cognitive Behavior Models. 128-137 1999 CA http://computer.org/proceedings/ca/0167/01670128abs.htm db/conf/ca/ca1999.html#BadlerCC99 John Isidoro Stan Sclaroff Active Voodoo Dolls: A Vision Based Input Device for Nonrigid Control. 137-143 1998 CA http://dlib.computer.org/conferen/ca/8541/pdf/85410137.pdf db/conf/ca/ca1998.html#IsidoroS98 Koen Langendoen Pieter H. Hartel FCG: A Code Generator for Lazy Functional Languages. 278-296 1992 conf/cc/1992 CC db/conf/cc/cc92.html#LangendoenH92 Martin Jourdan Didier Parigot Application Development with the FNC-2 Attribute Grammar System. 11-25 1990 conf/cc/1990 CC db/conf/cc/cc90.html#JourdanP90 Beate Baum Another Kind of Modular Attribute Grammars. 44-50 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Baum92 Dieter Hammer Compiler Compilers and High Speed Compilation, 2nd CCHSC Workshop, Berlin GDR, October 10-14, 1988, Proceedings CC Lecture Notes in Computer Science 371 Springer 1989 3-540-51364-7 db/conf/cc/cc88.html Dieter Hammer Compiler Compilers, Third International Workshop on Compiler Construction, CC'90, Schwerin, Germany, October 22-26, 1990, Proceedings CC Lecture Notes in Computer Science 477 Springer 1991 3-540-53669-8 db/conf/cc/cc90.html Uwe Kastens Peter Pfahler Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings CC Lecture Notes in Computer Science 641 Springer 1992 3-540-55984-1 db/conf/cc/cc92.html Peter Fritzon Compiler Construction, 5th International Conference, CC'94, Edinburgh, U.K., April 7-9, 1994, Proceedings CC Lecture Notes in Computer Science 786 Springer 1994 3-540-57877-3 db/conf/cc/cc94.html Tibor Gyimothy Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings CC Lecture Notes in Computer Science 1060 Springer 1996 3-540-61053-7 db/conf/cc/cc96.html Kai Koskimies Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings CC Lecture Notes in Computer Science 1383 Springer 1998 3-540-64304-4 db/conf/cc/cc98.html Stefan Jähnichen Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings CC Lecture Notes in Computer Science 1575 Springer 1999 3-540-65717-7 db/conf/cc/cc99.html David A. Watt Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings CC Lecture Notes in Computer Science 1781 Springer 2000 3-540-67263-X db/conf/cc/cc2000.html Reinhard Wilhelm Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings CC Lecture Notes in Computer Science 2027 Springer 2001 3-540-41861-X db/conf/cc/cc2001.html R. Nigel Horspool Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings CC Lecture Notes in Computer Science 2304 Springer 2002 3-540-43369-4 db/conf/cc/cc2002.html Werner Aßmann A Short Review of High Speed Compilation. 1-10 1988 conf/cc/1988 CC db/conf/cc/cc88.html#Assmann88 Werner Aßmann Another Solution of Scoping Problems in Symbol Tables. 66-71 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Assmann92 Uwe Aßmann How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems. 121-135 1996 conf/cc/1996 CC db/conf/cc/cc96.html#Assmann96 Evelyn Duesterwald Rajiv Gupta Mary Lou Soffa Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables. 192-206 1992 conf/cc/1992 CC db/conf/cc/cc92.html#DuesterwaldGS92 Evelyn Duesterwald Rajiv Gupta Mary Lou Soffa Reducing the Cost of Data Flow Analysis By Congruence Partitioning. 357-373 1994 conf/cc/1994 CC db/conf/cc/cc94.html#DuesterwaldGS94 Jan Vitek R. Nigel Horspool James S. Uhl Compile-Time Analysis of Object-Oriented Programs. 236-250 1992 conf/cc/1992 CC db/conf/cc/cc92.html#VitekHU92 Noam Rinetzky Shmuel Sagiv Interprocedural Shape Analysis for Recursive Programs. 133-149 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270133.htm db/conf/cc/cc2001.html#RinetzkyS01 Josef Grosch Generators for High-Speed Front-Ends. 81-92 1988 conf/cc/1988 CC db/conf/cc/cc88.html#Grosch88 Josef Grosch Transformation of Attributed Trees Using Pattern Matching. 1-15 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Grosch92 K. Rustan M. Leino Greg Nelson An Extended Static Checker for Modular-3. 302-305 1998 conf/cc/1998 CC db/conf/cc/cc98.html#LeinoN98 R. Nigel Horspool ILALR: An Incremental Generator of LALR(1) Parsers. 128-136 1988 conf/cc/1988 CC db/conf/cc/cc88.html#Horspool88 R. Nigel Horspool Recursive Ascent-Descent Parsers. 1-10 1990 conf/cc/1990 CC db/conf/cc/cc90.html#Horspool90 Fergus Henderson Zoltan Somogyi Compiling Mercury to High-Level C Code. 197-212 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040197.htm db/conf/cc/cc2002.html#HendersonS02 Alfons Geser Jens Knoop Gerald Lüttgen Oliver Rüthing Bernhard Steffen Non-monotone Fixpoint Iterations to Resolve Second Order Effects. 106-120 1996 conf/cc/1996 CC db/conf/cc/cc96.html#GeserKLRS96 Rajiv Gupta A Code Motion Framework for Global Instruction Scheduling. 219-233 1998 conf/cc/1998 CC db/conf/cc/cc98.html#Gupta98 Gabriel Rivera Chau-Wen Tseng A Comparison of Compiler Tiling Algorithms. 168-182 1999 conf/cc/1999 CC db/conf/cc/cc99.html#RiveraT99 Hubert Garavel Frédéric Lang Radu Mateescu Compiler Construction Using LOTOS NT. 9-13 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040009.htm db/conf/cc/cc2002.html#GaravelLM02 Mahmut T. Kandemir Array Unification: A Locality Optimization Technique. 259-273 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270259.htm db/conf/cc/cc2001.html#KandemirU01 Patrick Cousot Radhia Cousot Modular Static Program Analysis. 159-178 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040159.htm db/conf/cc/cc2002.html#CousotC02 Martin Alt Uwe Aßmann Hans van Someren Cosy Compiler Phase Embedding with the CoSy Compiler Model. 278-293 1994 conf/cc/1994 CC db/conf/cc/cc94.html#AltAS94 Siegfried Benker Peter Brezany Hans P. Zima Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler. 324-338 1994 conf/cc/1994 CC db/conf/cc/cc94.html#BenkerBZ94 Guido Hogen Rita Loogen Efficient Organization of Control Structures in Distributed Implementations. 98-112 1994 conf/cc/1994 CC db/conf/cc/cc94.html#HogenL94 Jens Knoop Dirk Koschützki Bernhard Steffen Basic-Block Graphs: Living Dinosaurs? 65-79 1998 conf/cc/1998 CC db/conf/cc/cc98.html#KnoopKS98 Klaus Brouwer Wolfgang Gellerich Erhard Plödereder Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis. 1-15 1998 conf/cc/1998 CC db/conf/cc/cc98.html#BrouwerGP98 Jens Knoop Oliver Rüthing Bernhard Steffen Expansion-Based Removal of Semantic Partial Redundancies. 91-106 1999 conf/cc/1999 CC db/conf/cc/cc99.html#KnoopRS99 Markus Mohnen A Graph-Free Approach to Data-Flow Analysis. 46-61 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040046.htm db/conf/cc/cc2002.html#Mohnen02 Peter Pfahler Georg Piepenbrock A Comparison of Modulo Scheduling Techniques for Software Pipelining. 18-32 1996 conf/cc/1996 CC db/conf/cc/cc96.html#PfahlerP96 David Gay Bjarne Steensgaard Fast Escape Analysis and Stack Allocation for Object-Based Programs. 82-93 http://link.springer.de/link/service/series/0558/bibs/1781/17810082.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#GayS00 Günter Riedewald The LDL - Language Development Laboratory. 88-94 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Riedewald92 Johan Ringström Peter Fritzson Mikael Pettersson Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification. 248-262 1994 conf/cc/1994 CC db/conf/cc/cc94.html#RingstromFP94 Devang Patel Lawrence Rauchwerger Implementation Issues of Loop-Level Speculative Run-Time Parallelization. 183-197 1999 conf/cc/1999 CC db/conf/cc/cc99.html#PatelR99 João Saraiva S. Doaitse Swierstra Matthijs F. Kuiper Functional Incremental Attribute Evaluation. 279-294 http://link.springer.de/link/service/series/0558/bibs/1781/17810279.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#SaraivaSK00 George C. Necula Scott McPeak Shree Prakash Rahul Westley Weimer CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. 213-228 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040213.htm db/conf/cc/cc2002.html#NeculaMRW02 Thomas Cheatham Haiming Gao Dan C. Stefanescu A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. 188-202 1994 conf/cc/1994 CC db/conf/cc/cc94.html#CheathamGS94 Fridtjof Siebert Constant-Time Root Scanning for Deterministic Garbage Collection. 304-318 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270304.htm db/conf/cc/cc2001.html#Siebert01 Florian Martin Martin Alt Reinhard Wilhelm Christian Ferdinand Analysis of Loops. 80-94 1998 conf/cc/1998 CC db/conf/cc/cc98.html#MartinAWF98 Terence J. Parr Russell W. Quong Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k). 263-277 1994 conf/cc/1994 CC db/conf/cc/cc94.html#ParrQ94 Beatrix Weisgerber Reinhard Wilhelm Two Tree Pattern Matchers for Code Selection. 215-229 1988 conf/cc/1988 CC db/conf/cc/cc88.html#WeisgerberW88 Victor N. Kasyanov Tools and Techniques of Annotated Programming. 117-131 1990 conf/cc/1990 CC db/conf/cc/cc90.html#Kasyanov90 Peter Pfahler Optimizing Directly Executable LR Parsers. 179-192 1990 conf/cc/1990 CC db/conf/cc/cc90.html#Pfahler90 William M. Waite Compiler Construction: Craftmanship or Engineering? 151-159 1996 conf/cc/1996 CC db/conf/cc/cc96.html#Waite96 Dae-Hwan Kim Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor. 173-188 http://link.springer.de/link/service/series/0558/bibs/1781/17810173.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#Kim00 Zhonghua Li Chris C. Kirkham Efficient Storage Reuse of Aggregates in Single Assignment Languages. 238-252 1996 conf/cc/1996 CC db/conf/cc/cc96.html#LiK96 Hanspeter Mössenböck A Generator for Production Quality Compilers. 42-55 1990 conf/cc/1990 CC db/conf/cc/cc90.html#Mossenbock90 Robert Griesemer Scheduling Instructions by Direct Placement. 229-235 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Griesemer92 Jian Wang Guang R. Gao Pipelining-Dovetailing: A Transformation to Enhance Software Pipelining for Nested Loops. 1-17 1996 conf/cc/1996 CC db/conf/cc/cc96.html#WangG96 Carine Fédèle Olivier Lecarme Computer-Aided Building of a Compiler: An Example (Abstract). 212-214 1990 conf/cc/1990 CC db/conf/cc/cc90.html#FedeleL90 Johan Janssen Henk Corporaal Controlled Node Splitting. 44-58 1996 conf/cc/1996 CC db/conf/cc/cc96.html#JanssenC96 Jean Beney Jean-Francois Boulicaut STARLET: An Affix-Based Compiler Compiler Designed as a Logic Programming System. 71-85 1990 conf/cc/1990 CC db/conf/cc/cc90.html#BeneyB90 Keith D. Cooper L. Taylor Simpson Live Range Splitting in a Graph Coloring Register Allocator. 174-187 1998 conf/cc/1998 CC db/conf/cc/cc98.html#CooperS98 Hao Yu Lawrence Rauchwerger Techniques for Reducing the Overhead of Run-Time Parallelization. 232-248 http://link.springer.de/link/service/series/0558/bibs/1781/17810232.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#YuR00 Guilherme Ottoni Sandro Rigo Guido Araujo Subramanian Rajagopalan Sharad Malik Optimal Live Range Merge for Address Register Allocation in Embedded Programs. 274-288 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270274.htm db/conf/cc/cc2001.html#OttoniRARM01 Michael R. Levy Type Checking in the Large. 137-145 1988 conf/cc/1988 CC db/conf/cc/cc88.html#Levy88 Christian Weber Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components. 110-124 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Weber92 Yuan Lin David A. Padua Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations. 202-218 http://link.springer.de/link/service/series/0558/bibs/1781/17810202.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#LinP00 Todd A. Proebsting Benjamin R. Whaley One-Pass, Optimal Tree Parsing - With Or Without Trees. 294-308 1996 conf/cc/1996 CC db/conf/cc/cc96.html#ProebstingW96 Peter Fritzson Incremental Symbol Processing. 11-38 1988 conf/cc/1988 CC db/conf/cc/cc88.html#Fritzson88 Mikael Pettersson Generating Efficient Code from Continuation Semantics. 165-178 1990 conf/cc/1990 CC db/conf/cc/cc90.html#Pettersson90 Mikael Pettersson A Term Pattern-Match Compiler Inspired by Finite Automata Theory. 258-270 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Pettersson92 Mikael Pettersson A Compiler for Natural Semantics. 177-191 1996 conf/cc/1996 CC db/conf/cc/cc96.html#Pettersson96 Mikael Pettersson Portable Debugging and Profiling. 279-293 1998 conf/cc/1998 CC db/conf/cc/cc98.html#Pettersson98 Siddharth Rele Santosh Pande Soner Önder Rajiv Gupta Optimizing Static Power Dissipation by Functional Units in Superscalar Processors. 261-275 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040261.htm db/conf/cc/cc2002.html#RelePOG02 Hanspeter Mössenböck Michael Pfeiffer Linear Scan Register Allocation in the Context of SSA Form and Register Constraints. 229-246 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040229.htm db/conf/cc/cc2002.html#MossenbockP02 Patricia Prather Pineo Mary Lou Soffa A Practical Approach to the Symbolic Debugging of Parallelized Code. 339-356 1994 conf/cc/1994 CC db/conf/cc/cc94.html#PineoS94 Mark van den Brand Jeroen Scheerder Jurgen J. Vinju Eelco Visser Disambiguation Filters for Scannerless Generalized LR Parsers. 143-158 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040143.htm db/conf/cc/cc2002.html#BrandSVV02 Jong-Deok Choi Vivek Sarkar Edith Schonberg Incremental Computation of Static Single Assignment Form. 223-237 1996 conf/cc/1996 CC db/conf/cc/cc96.html#ChoiSS96 Jan Hoogerbrugge Lex Augusteijn Pipelined Java Virtual Machine Interpreters. 35-49 http://link.springer.de/link/service/series/0558/bibs/1781/17810035.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#HoogerbruggeA00 Jan Hoogerbrugge Henk Corporaal Comparing Software Pipelining for an Operation-Triggered and a Tarnsport-Triggered Architecture. 219-228 1992 conf/cc/1992 CC db/conf/cc/cc92.html#HoogerbruggeC92 Jan Hoogerbrugge Henk Corporaal Transport-Triggering versus Operation-Triggering. 435-449 1994 conf/cc/1994 CC db/conf/cc/cc94.html#HoogerbruggeC94 Vitaly V. Mikheev Stanislav A. Fedoseev Vladimir V. Sukharev Nikita V. Lipsky Effective Enhancement of Loop Versioning in Java. 293-306 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040293.htm db/conf/cc/cc2002.html#MikheevFSL02 Lei Wang Waibhav Tembe Santosh Pande A Framework for Loop Distribution on Limited On-Chip Memory Processors. 141-156 http://link.springer.de/link/service/series/0558/bibs/1781/17810141.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#WangTP00 Radu Rugina Martin C. Rinard Design-Driven Compilation. 150-164 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270150.htm db/conf/cc/cc2001.html#RuginaR01 Arnd Poetzsch-Heffter Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC. 190-203 1988 conf/cc/1988 CC db/conf/cc/cc88.html#Poetzsch-Heffter88 Arnd Poetzsch-Heffter Implementing High-Level Identification Specifications. 59-65 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Poetzsch-Heffter92 Arnd Poetzsch-Heffter Developing Efficient Interpreters Based on Formal Language Specifications. 233-247 1994 conf/cc/1994 CC db/conf/cc/cc94.html#Poetzsch-Heffter94 Florian Martin Experimental Comparison of <i>call string</i> and <i>functional</i> Approaches to Interprocedural Analysis. 63-75 1999 conf/cc/1999 CC db/conf/cc/cc99.html#Martin99 Gagan Agrawal Jinqian Li Qi Su Evaluating a Demand Driven Technique for Call Graph Construction. 29-45 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040029.htm db/conf/cc/cc2002.html#AgrawalLS02 Matthias Anlauff Philipp W. Kutter Alfonso Pierantonio Tool Support for Language Design and Prototyping with Montages. 296-299 1999 conf/cc/1999 CC db/conf/cc/cc99.html#AnlauffKP99 Thomas W. Reps Solving Demand Versions of Interprocedural Analysis Problems. 389-403 1994 conf/cc/1994 CC db/conf/cc/cc94.html#Reps94 Isabelle Attali Carine Courbis Pascal Degenne Alexandre Fau Didier Parigot Claude Pasquier SmartTools: A Generator of Interactive Environments Tools. 355-360 2001 conf/cc/2001 CC http://link.springer.de/link/service/series/0558/bibs/2027/20270355.htm db/conf/cc/cc2001.html#AttaliCDFPP01 Peter Fritzon Roland Wismüller Olav Hansen Jonas Sala Peter Skov A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes. 341-355 1996 conf/cc/1996 CC db/conf/cc/cc96.html#FritzonWHSS96 Kai Koskimies Software Engineering Aspects in Language Implementation. 39-51 1988 conf/cc/1988 CC db/conf/cc/cc88.html#Koskimies88 Gerald Roth Advanced Scalarization of Array Syntax. 219-231 http://link.springer.de/link/service/series/0558/bibs/1781/17810219.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#Roth00 Kazunori Mizushima Takuya Katayama Storage Allocation Strategies for Recursive Attributes Evaluators. 50-64 1998 conf/cc/1998 CC db/conf/cc/cc98.html#MizushimaK98 Jan Bosch Delegating Compiler Objects: An Object-Oriented Approach to Crafting Compilers. 326-340 1996 conf/cc/1996 CC db/conf/cc/cc96.html#Bosch96 João Sariava S. Doaitse Swierstra Data Structure Free Compilation. 1-16 1999 conf/cc/1999 CC db/conf/cc/cc99.html#SariavaS99 Hermano Moura David A. Watt Action Transformations in the ACTRESS Compiler Generator. 16-60 1994 conf/cc/1994 CC db/conf/cc/cc94.html#MouraW94 Henk Alblas Joos Schaap-Krueseman An Attributed ELL(1)-Parser Generator (Abstract). 208-209 1990 conf/cc/1990 CC db/conf/cc/cc90.html#AlblasS90 Andrei Mantsivoda Vyacheslav Petukhin Compiling Flang. 297-311 1992 conf/cc/1992 CC db/conf/cc/cc92.html#MantsivodaP92 Lars Ole Andersen Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract). 251-257 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Andersen92 James S. Uhl R. Nigel Horspool Flow Grammars - a Flow Analysis Methodology. 203-217 1994 conf/cc/1994 CC db/conf/cc/cc94.html#UhlH94 Yosi Ben-Asher Gudula Rünger Reinhard Wilhelm Assaf Schuster Implementing 2DT on a Multiprocessor. 113-127 1994 conf/cc/1994 CC db/conf/cc/cc94.html#Ben-AsherRWS94 Hanne Riis Nielson Flemming Nielson Flow Logics for Constraint Based Analysis. 109-127 1998 conf/cc/1998 CC db/conf/cc/cc98.html#NielsonN98 Rajiv Gupta Eduard Mehofer Youtao Zhang A Representation for Bit Section Based Analysis and Optimization. 62-77 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040062.htm db/conf/cc/cc2002.html#GuptaMZ02 Borivoj Melichar Syntax Directed Translation with LR Parsing. 30-36 1992 conf/cc/1992 CC db/conf/cc/cc92.html#Melichar92 Andrea G. M. Cilio Henk Corporaal Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation. 247-260 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040247.htm db/conf/cc/cc2002.html#CilioC02 Andrea G. M. Cilio Henk Corporaal Floating Point to Fixed Point Conversion of C Code. 229-243 1999 conf/cc/1999 CC db/conf/cc/cc99.html#CilioC99 Mario Südholt Christoph Steigner On Interprocedural Data Flow Analysis for Object Oriented Languages. 156-162 1992 conf/cc/1992 CC db/conf/cc/cc92.html#SudholtS92 Raja Vallée-Rai Etienne Gagnon Laurie J. Hendren Patrick Lam Patrice Pominville Vijay Sundaresan Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? 18-34 http://link.springer.de/link/service/series/0558/bibs/1781/17810018.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#Vallee-RaiGHLPS00 John Aycock R. Nigel Horspool Simple Generation of Static Single-Assignment Form. 110-124 http://link.springer.de/link/service/series/0558/bibs/1781/17810110.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.h