Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Context-Aware Systems / I:
An Architecture for the Integration of Physical and Informational Spaces / Scott M. Thayer ; Peter Steenkiste
A Context System for a Mobile Service Platform / Fritz Hohl ; Lars Mehrmann ; Amen Hamdan
Detecting Context in Distributed Sensor Networks by Using Smart Context-Aware Packets / Florian Michahelles ; Michael Samulowitz ; Bernt Schiele
System Aspects / II:
A Ubiquitous Control Architecture for Low Power Systems / James ôWezö Weatherall ; Duncan Grisby
Software Architecture-Based Adaptation for Pervasive Systems / Shang-Wen Cheng ; David Garlan ; Bradley Schmerl ; Joao Pedro Sousa ; Bridget Spitznagel ; Ningning Hu
KECho - Event Communication for Distributed Kernel Services / Christian Poellabauer ; Karsten Schwan ; Greg Eisenhauer ; Jiantao Kong
Networking 1 / III:
A Fine-Grained Addressing Concept for GeoCast / Peter Coschurba ; Kurt Rothermel ; Frank Durr
Data Paths in Wearable Communication Networks / Christian Decker ; Michael Beigl
Location and Network Quality Issues in Local Area Wireless Networks / Georgi Tonev ; Vaidy Sunderam ; Roger Loader ; James Pascoe
Processor Architecture / IV:
Design Tradeoffs for Embedded Network Processors / Tilman Wolf ; Mark A. Franklin
Reconfigurable RISC - A New Approach for Space-Efficient Superscalar Microprocessor Architecture / Sascha Wennekers ; Christian Siemers
Cached Two-Level Adaptive Branch Predictors with Multiple Stages / Colin Egan ; Gordon Steven ; Lucian Vintan
Middleware and Verification / V:
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems / Tim Oodes ; Holger Krisp ; Christian Muller-Schloer
Ubiquitous Access to Wide-Area High-Performance Computing / Frank Burchert ; Stephan Gatzka ; Christian Hochberger ; Chang-Kun Lee ; Ulrike Lucke ; Djamshid Tavangarian
Filter Similarities in Content-Based Publish/Subscribe Systems / Gero Muhl ; Ludger Fiege ; Alejandro Buchmann
Networking 2 / VI:
A Bluetooth Remote Control System / Fridtjof Feldbusch ; Alexander Paar ; Manuel Odendahl ; Ivan Ivanov
Rendezvous Layer Protocols for Bluetooth-Enabled Smart Devices / Frank Siegemund ; Michael Rohs
A Robust Header Compression Simulator & Visualizer / Xiaoyuan Gu ; Hannes Hartenstein ; Stefan Fischer
Author Index
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Summarization of Dynamic Content in Web Collections / Adam Jatowt ; Mitsuru Ishizuka
Mining Thick Skylines over Large Databases / Wen Jin ; Jiawei Han ; Martin Ester
Ensemble Feature Ranking / Kees Jong ; Jérémie Mary ; Antoine Cornuéjols ; Elena Marchiori ; Michèle Sebag
Privately Computing a Distributed k-nn Classifier / Murat Kantarcio&gcaron;lu ; Chris Clifton
Incremental Nonlinear PCA for Classification / Byung Joo Kim ; Il Kon Kim
A Spectroscopy of Texts for Effective Clustering / Wenyuan Li ; Wee-Keong Ng ; Kok-Leong Ong ; Ee-Peng Lim
Constraint-Based Mining of Episode Rules and Optimal Window Sizes / Nicolas Méger ; Christophe Rigotti
Analysing Customer Churn in Insurance Data - A Case Study / Katharina Morik ; Lianna Köpeke
Nomograms for Visualization of Naive Bayesian Classifier / Martin Možina ; Janez Demšar ; Michael Kattan ; Blaž Zupan
Using a Hash-Based Method for Apriori-Based Graph Mining / Phu Chien Nguyen ; Takashi Washio ; Kouzou Ohara ; Hiroshi Motoda
Evaluation of Rule Interestingness Measures with a Clinical Dataset on Hepatitis / Miho Ohsaki ; Shinya Kitaguchi ; Kazuya Okamoto ; Hideto Yokoi ; Takahira Yamaguchi
Classification in Geographical Information Systems / Salvatore Rinzivillo ; Franco Turini
Digging into Acceptor Splice Site Prediction: An Iterative Feature Selection Approach / Yvan Saeys ; Sven Degroeve ; Yves Van de Peer
Itemset Classified Clustering / Jun Sese ; Shinichi Morishita
Combining Winnow and Orthogonal Sparse Bigrams for Incremental Spam Filtering / Christian Siefkes ; Fidelis Assis ; Shalendra Chhabra ; William S. Yerazunis
Asynchronous and Anticipatory Filter-Stream Based Parallel Algorithm for Frequent Itemset Mining / Adriano Veloso ; Wagner Meira Jr. ; Renato Ferreira ; Dorgival Guedes Neto ; Srinivasan Parthasarathy
A Quantification of Cluster Novelty with an Application to Martian Topography / Ricardo Vilalta ; Tom Stepinski ; Muralikrishna Achari ; Francisco Ocegueda-Hernandez
Density-Based Spatial Clustering in the Presence of Obstacles and Facilitators / Xin Wang ; Camilo Rostoker ; Howard J. Hamilton
Text Mining for Finding Functional Community of Related Genes Using TCM Knowledge / Zhaohui Wu ; Xuezhong Zhou ; Baoyan Liu ; Junli Chen
Dealing with Predictive-but-Unpredictable Attributes in Noisy Data Sources / Ying Yang ; Xindong Wu ; Xingquan Zhu
A New Scheme on Privacy Preserving Association Rule Mining / Nan Zhang ; Shengquan Wang ; Wei Zhao
Posters
A Unified and Flexible Framework for Comparing Simple and Complex Patterns / Ilaria Bartolini ; Paolo Ciaccia ; Irene Ntoutsi ; Marco Patella ; Yannis Theodoridis
Constructing (Almost) Phylogenetic Trees from Developmental Sequences Data / Ronnie Bathoorn
Learning from Multi-source Data / Élisa Fromont ; Marie-Odile Cordier ; René Quiniou
The Anatomy of SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets / Paolo Ferragina ; Antonio Gullì
COCOA: Compressed Continuity Analysis for Temporal Databases / Kuo-Yu Huang ; Chia-Hui Chang ; Kuo-Zui Lin
Discovering Interpretable Muscle Activation Patterns with the Temporal Data Mining Method / Fabian Mörchen ; Alfred Ultsch ; Olaf Hoos
A Tolerance Rough Set Approach to Clustering Web Search Results / Chi Lang Ngo ; Hung Son Nguyen
Improving the Performance of the RISE Algorithm / Aloísio Carlos de Pina ; Gerson Zaverucha
Mining History of Changes to Web Access Patterns / Qiankun Zhao ; Sourav S. Bhowmick
Demonstration Papers
Visual Mining of Spatial Time Series Data / Gennady Andrienko ; Natalia Andrienko ; Peter Gatalsky
Detecting Driving Awareness / Bruno Apolloni ; Andrea Brega ; Dario Malchiodi ; Cristian Mesiano
An Effective Recommender System for Highly Dynamic and Large Web Sites / Ranieri Baraglia ; Francesco Merlo ; Fabrizio Silvestri
SemanticTalk: Software for Visualizing Brainstorming Sessions and Thematic Concept Trails on Document Collections / Chris Biemann ; Karsten Böhm ; Gerhard Heyer ; Ronny Melz
Orange: From Experimental Machine Learning to Interactive Data Mining / Gregor Leban ; Tomaz Curk
Terrorist Detection System / Yuval Elovici ; Abraham Kandel ; Mark Last ; Bracha Shapira ; Omer Zaafrany ; Moti Schneider ; Menahem Friedman
Experimenting SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets
HIClass: Hyper-interactive Text Classification by Interactive Supervision of Document and Term Labels
Balios - The Engine for Bayesian Logic Programs / Kristian Kersting ; Uwe Dick
SEWeP: A Web Mining System Supporting Semantic Personalization / Stratos Paulakis ; Charalampos Lampos ; Magdalini Eirinaki ; Michalis Vazirgiannis
SPIN! Data Mining System Based on Component Architecture / Alexandr Savinov
Author Index
Invited Papers
Random Matrices in Data Analysis / Dmitris Achlioptas
A Hierarchical Key-Insulated Signature Scheme in the CA Trust Model / Zhengyi Le ; Yi Ouyang ; James Ford ; Fillia Makedon
Certificate Recommendations to Improve the Robustness of Web of Trust / Qinglin Jiang
Mobile and Ad Hoc Security
Universally Composable Secure Mobile Agent Computation / Ke Xu ; Stephen R. Tate
Re-thinking Security in IP Based Micro-Mobility / Jukka Ylitalo ; Jan Melén ; Pekka Nikander ; Vesa Torvinen
Shared-Key Signature and Its Application to Anonymous Authentication in Ad Hoc Group / Qianhong Wu ; Changjie Wang ; Yumin Wang
Web Security
Prevent Online Identity Theft - Using Network Smart Cards for Secure Online Transactions / HongQian Karen Lu ; Asad Ali
Provable Unlinkability Against Traffic Analysis Already After <$>{\cal O}<$>(log(n)) Steps! / Marcin Gomułkiewicz ; Marek Klonowski ; Mirosław Kutyłowski
An Efficient Online Electronic Cash with Unlinkable Exact Payments / Toru Nakanishi ; Mitsuaki Shiota ; Yuji Sugiyama
Digital Rights Management
Modifiable Digital Content Protection in P2P / Heejae Park ; Jong Kim
Survey on the Technological Aspects of Digital Rights Management / William Ku ; Chi-Hung Chi
Detecting Software Theft via Whole Program Path Birthmarks / Ginger Myles ; Christian Collberg
Software Security
Effective Security Requirements Analysis: HAZOP and Use Cases / Thitima Srivatanakul ; John A. Clark ; Fiona Polack
The Obfuscation Executive / Kelly Heffner
Author Index
Key Management
Practical Authenticated Key Agreement Using Passwords / Taekyoung Kwon
Further Analysis of Password Authenticated Key Exchange Protocol Based on RSA for Imbalanced Wireless Networks / Muxiang Zhang
PVM Grids to Self-assembling Virtual Machines / A Geist
The Austrian Grid Initiative - High Level Extensions to Grid Middleware / J. Volkert
Fault Tolerance in Message Passing and in Action / J.J. Dongarra
MPI and High Productivity Programming / W.D. Gropp
High Performance Application Execution Scenarios in P-GRADE / G. Dózsa
An Open Cluster System Software Stack / E. Lusk
Advanced Resource Connector (ARC) - The Grid Middleware of the NorduGrid / B Kónya
Next Generation Grid: Learn from the Past, Look to the Future / D. Laforenza
Tutorials
Production Grid Systems and Their Programming / P. Kacsuk ; B. Kónya ; P. Stefán
Tools and Services for Interactive Applications on the Grid - The CrossGrid Tutorial / T. Szepieniec ; M. Radecki ; K. Rycerz ; M. Bubak ; M. Malawski
Extensions and Improvements
Verifying Collective MPI Calls / J.L. Träff ; J. Worringen
Fast Tuning of Intra-cluster Collective Communications / L.A. Barchet-Estefanel ; G. Mounié
More Efficient Reduction Algorithms for Non-Power-of-Two Number of Processors in Message-Passing Parallel Systems / R. Rabenseifner
Zero-Copy MPI Derived Datatype Communication over InfiniBand / G. Santhanaraman ; J. Wu ; D.K. Panda
Minimizing Synchronization Overhead in the Implementation of MPI One-Sided Communication / R. Thakur ; B. Toonen
Efficient Implementation of MPI-2 Passive One-Sided Communication on InfiniBand Clusters / W. Jiang ; J. Liu ; H.-W. Jin ; D. Buntinas
Providing Efficient I/O Redundancy in MPI Environments / R. Ross ; N. Miller
The Impact of File Systems on MPI-IO Scalability / R. Latham
Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation / E. Gabriel ; G.E. Fagg ; G. Bosilca ; T. Angskun ; J.M. Squyres ; V. Sahay ; P. Kambadur ; B. Barrett ; A. Lumsdaine ; R.H. Castain ; D.J. Daniel ; R.L. Graham ; T.S. Woodall
Open MPI's TEG Point-to-Point Communications Methodology: Comparison to Existing Implementations / M.W. Sukalski
The Architecture and Performance of WMPI II / A.L. Christensen ; J. Brito ; J.G. Silva
A New MPI Implementation for Cray SHMEM / R. Brightwell
Algorithms
A Message Ordering Problem in Parallel Programs / B. Uçar ; C. Aykanat
BSP/CGM Algorithms for Maximum Subsequence and Maximum Subarray / C.E.R. Alves ; E.N. Cáceres ; S.W. Song
A Parallel Approach for a Non-rigid Image Registration Algorithm / G. Román-Alonso ; N.P. Castellanos-Abrego ; L. Zamora-Venegas
Neighborhood Composition: A Parallelization of Local Search Algorithms / Y. Handa ; H. Ono ; K. Sadakane ; M. Yamashita
Asynchronous Distributed Broadcasting in Cluster Environment / S. Juhász ; F. Kovács
A Simple Work-Optimal Broadcast Algorithm for Message-Passing Parallel Systems
Nesting OpenMP and MPI in the Conjugate Gradient Method for Band Systems / L.F. Romero ; E.M. Ortigosa ; S. Romero ; E.L. Zapata
An Asynchronous Branch and Bound Skeleton for Heterogeneous Clusters / J.R. Gonzaález ; C. Leoán ; C. Rodráguez
Applications
Parallelization of GSL: Architecture, Interfaces, and Programming Models / J. Aliaga ; F. Almeida ; J.M. Badáa ; S. Barrachina ; V. Blanco ; M. Castillo ; U. Dorta ; R. Mayo ; E.S. Quintana ; G. Quintana ; C Rodríguez ; F. de Sande
Using Web Services to Run Distributed Numerical Applications / D Puppin ; N. Tonellotto
A Grid-Based Parallel Maple / D. Petcu ; D. Dubu ; M. Paprzycki
A Pipeline-Based Approach for Mapping Message-Passing Applications with an Input Data Stream / F. Guirado ; A. Ripoll ; C. Roig ; E. Luque
Parallel Simulations of Electrophysiological Phenomena in Myocardium on Large 32 and 64-bit Linux Clusters / P. Czarnul ; K. Grz&ecedil;da
Tools and Environments
MPI I/O Analysis and Error Detection with MARMOT / B. Krammer ; M.S. Müller ; M.M. Resch
Parallel I/O in an Object-Oriented Message-Passing Library / S. Pinkenburg ; W. Rosenstiel
Detection of Collective MPI Operation Patterns / A Knüpfer ; D. Kranzlmüller ; W.E. Nagel
Detecting Unaffected Race Conditions in Message-Passing Programs / M.-Y. Park ; Y.-K. Jun
MPI Cluster System Software / N. Desai ; R. Bradshaw ; A. Lusk
A Lightweight Framework for Executing Task Parallelism on Top of MPI / P.E. Hadjidoukas
Easing Message-Passing Parallel Programming Through a Data Balancing Service / M.A. Castro-García ; J. Buenabad-Chávez
TEG: A High-Performance, Scalable, Multi-network Point-to-Point Communications Methodology
Cluster and Grid
Efficient Execution on Long-Distance Geographically Distributed Dedicated Clusters / E. Argollo ; J.R. de Souza ; D. Rexachs
Identifying Logical Homogeneous Clusters for Efficient Wide-Area Communications
Coscheduling and Multiprogramming Level in a Non-dedicated Cluster / M. Hanzich ; F. Giné ; P. Hernández ; F. Solsona
Heterogeneous Parallel Computing Across Multidomain Clusters / P. Hwang ; D. Kurzyniec ; V. Sunderam
Performance Evaluation and Monitoring of Interactive Grid Applications / B Baliś ; W. Funika ; R. Wismüuller ; T. Arodaź ; M. Kurdziel
A Domain Decomposition Strategy for GRID Environments / B. Otero ; J.M. Cela ; R.M. Badia ; J. Labarta
A PVM Extension to Exploit Cluster Grids / F Frattolillo
Performance
An Initial Analysis of the Impact of Overlap and Independent Progress for MPI / K.D. Underwood ; R. Riesen
A Performance-Oriented Technique for Hybrid Application Development / E Mancini ; M. Rak ; R. Torella ; U. Villano
A Refinement Strategy for a User-Oriented Performance Analysis / J. Lemeire ; A. Crijns ; J. Crijns ; E. Dirkx
What Size Cluster Equals a Dedicated Chip / S. Höfinger
Architecture and Performance of the BlueGene/L Message Layer / G Almási ; C. Archer ; J. Gunnels ; P. Heidelberger,X. Martorell ; J.E. Moreira
Special Session: ParSim
Current Trends in Numerical Simulation for Parallel Engineering Environments. ParSim 2004 / C Trinitis ; M. Schulz
Parallelization of a Monte Carlo Simulation for a Space Cosmic Particles Detector / F Almeida ; C. Delgado ; R.J. García López
On the Parallelization of a Cache-Optimal Iterative Solver for PDEs Based on Hierarchical Data Structures and Space-Filling Curves / F. Güunther ; A. Krahnke ; M. Langlotz ; M. Mehl ; M. Pöogl ; C. Zenger
Parallelization of an Adaptive Vlasov Solver / O. Hoenen ; M. Mehrenberger ; É. Violard
A Framework for Optimising Parameter Studies on a Cluster Computer by the Example of Micro-system Design / D Fey ; M. Komann ; C. Kauhaus
Numerical Simulations on PC Graphics Hardware / J. Krüger ; T. Schiwietz ; P. Kipfer ; R. Westermann
Author Index
Invited Talks
PVM Grids to Self-assembling Virtual Machines / A Geist
The Austrian Grid Initiative - High Level Extensions to Grid Middleware / J. Volkert
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints / Peter Revesz
Deductive Databases
Update Propagation in Deductive Databases Using Soft Stratification / Andreas Behrend ; Rainer Manthey
Heterogenous and Web Information Systems
Query Rewriting Using Views in a Typed Mediator Environment / Leonid A. Kalinichenko ; Dmitry O. Martynov ; Sergey A. Stupnikov
Reasoning About Web Information Systems Using Story Algebras / Klaus-Dieter Schewe ; Bernhard Thalheim
Cross Enterprise Information Systems
Component Framework for Strategic Supply Network Development / Antonia Albani ; Bettina Bazijanec ; Klaus Turowski ; Christian Winnewisser
Knowledge Discovery
An Abstract Algebra for Knowledge Discovery in Databases / Luciano Gerber ; Alvaro A.A. Fernandes
Database Modelling
Beyond Databases: An Asset Language for Conceptual Content Management / Hans-Werner Sehring ; Joachim W. Schmidt
Component-Based Modeling of Huge Databases / Peggy Schmidt
Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis / Daniel L. Moody
Template Based, Designer Driven Design Pattern
Instantiation Support / Vladim'ir Marko
XML and Semistructured Databases
A High-Level Language for Specifying XML Data Transformations / Tadeusz Pankowski
Implementing a Query Language for Context-Dependent Semistructured Data / Yannis Stavrakas ; Kostis Pristouris ; Antonis Efandis ; Timos Sellis
Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences / Andras Benczur ; Balazs Kosa
Physical Database Design and Query Evaluation
Catalogues from a New Perspective: A Data Structure for Physical Organisation / Gabor M. Suranyi ; Zsolt T. Kardkovacs ; Sandor Gajdos
Database Caching - Towards a Cost Model for Populating Cache Groups / Theo Harder ; Andreas Buhmann
Towards Quadtree-Based Moving Objects Databases / Katerina Raptopoulou ; Michael Vassilakopoulos ; Yannis Manolopoulos
A Content-Based Music Retrieval System Using Multidimensional Index of Time-Sequenced Representative Melodies from Music Database / Kyong-I Ku ; Jae-Yong Won ; Jaehyun Park ; Yoo-Sung Kim
Solving Stochastic Optimization in Distributed Databases
Using Genetic Algorithms / Viorica Varga ; Dumitru Dumitrescu ; Crina Grosan
Transaction Management and Workflow Systems
ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol / Yousef J. Al-Houmaily ; Panos K. Chrysanthis
Making More Out of an Inconsistent Database / Jef Wijsen
Process Query Language: A Way to Make Workflow Processes More Flexible / Mariusz Momotko ; Kazimierz Subieta
Triggering Replanning in an Integrated Workflow Planning and Enactment System / Hilmar Schuschel ; Mathias Weske
Query Processing and Data Streams
Grouped Processing of Relational Algebra Expressions over Data Streams / Janusz R. Getta ; Ehsan Vossough
Processing Sliding Window Join Aggregate in Continuous Queries over Data Streams / Weiping Wang ; Jianzhong Li ; DongDong Zhang ; Longjiang Guo
Spatial Databases
How to Integrate Heterogeneous Spatial Databases in a Consistent Way? / David Sheeren ; Sebastien Mustiere ; Jean-Daniel Zucker
Vague Spatial Data Types, Set Operations, and Predicates / Alejandro Pauly ; Markus Schneider
Agents and Mobile Systems
Intelligent Multi-agent Based Database Hybrid Intrusion Prevention System / P. Ramasubramanian ; A. Kannan
Energy Efficient Transaction Processing in Mobile Broadcast Environments / SangKeun Lee
Author Index
Constraint Databases
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints / Peter Revesz
A Structural View on Parameterizing Problems: Distance from Triviality / Jiong Guo ; Falk Hüffner ; Rolf Niedermeier
Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable / Jens Gramm ; Till Nierhoff ; Till Tantau
Simplifying the Weft Hierarchy / Jonathan F. Buss ; Tarique Islam
The Minimum Weight Triangulation Problem with Few Inner Points / Yoshio Okamoto
A Direct Algorithm for the Parameterized Face Cover Problem / Faisal N. Abu-Khzam ; Michael A. Langston
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets / Michael R. Fellows ; Stefan Szeider ; Graham Wrightson
Parameterized Algorithms for Feedback Vertex Set / Iyad Kanj ; Michael Pelsmajer ; Marcus Schaefer
Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms / Sergey S. Fedin ; Alexander S. Kulikov
Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments / Venkatesh Raman ; Saket Saurabh
Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover / Frank Dehne ; Mike Fellows ; Frances Rosamond
Space and Time Complexity of Exact Algorithms: Some Open Problems (Invited Talk) / Gerhard J. Woeginger
Practical FPT Implementations and Applications (Invited Talk) / Mike Langston
Author Index
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction / Peter Damaschke
Online Problems, Pathwidth, and Persistence / Rodney G. Downey ; Catherine McCartin
Chordless Paths Through Three Vertices / Robert Haas ; Michael Hoffmann
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
Using Relevance to Speed Up Inference. Some Empirical Results / Joselyto Riani ; Renata Wassermann
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic / Gabriel Aguilera ; Pablo Cordero ; Manuel Enciso ; Angel Mora ; Inmaculada Perez de Guzmán
Reasoning About Requirements Evolution Using Clustered Belief Revision / Odinaldo Rodrigues ; Artur d'Avila Garcez ; Alessandra Russo
Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach / Peep Küngas
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning / Silvio do Lago Pereira ; Leliane Nunes de Barros
High-Level Robot Programming: An Abductive Approach Using Event Calculus
Search, Reasoning, and Uncertainty
Word Equation Systems: The Heuristic Approach / César Luis Alonso ; Fátima Drubi ; Judith Gómez-García ; José Luis Montaña
A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation / Carlos Castro ; Michael Moossen ; María Cristina Riff
Machine Learned Heuristics to Improve Constraint Satisfaction / Marco Correia ; Pedro Barahona
Towards a Natural Way of Reasoning / José Carlos Loureiro Ralha ; Célia Ghedini Ralha
Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? / Ricardo S. Silvestre ; Tarcísio H. C. Pequeno
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests / Julio Michael Stern
Knowledge Representation and Ontologies
An Ontology for Quantities in Ecology / Virgínia Brilhante
Using Color to Help in the Interactive Concept Formation / Vasco Furtado ; Alexandre Cavalcante
Propositional Reasoning for an Embodied Cognitive Model / Jerusa Marchi ; Guilherme Bittencourt
A Unified Architecture to Develop Interactive Knowledge Based Systems / Vládia Pinheiro ; Elizabeth Furtado
Natural Language Processing
Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts / Helena de Medeiros Caseli ; Aline Maria da Paz Silva ; Maria das Graças Volpe Nunes
Applying a Lexical Similarity Measure to Compare Portuguese Term Collections / Marcirio Silveira Chaves ; Vera Lúcia Strube de Lima
Dialog with a Personal Assistant / Fabrício Enembreck ; Jean-Paul Barthès
Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing / Valéria D. Feltrim ; Jorge M. Pelizzoni ; Simone Teufel ; Sandra M. Aluísio
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese / Thiago Alexandre Salgueiro Pardo ; Lucia Helena Machado Rino
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese / Carlos Nascimento Silla Jr. ; Celso Antônio Alves Kaestner ; Michael Pombo
Machine Learning, Knowledge Discovery, and Data Mining
Heuristically Accelerated Q-Learning: A New Approach to Speed Up Reinforcement Learning / Reinaldo A.C. Bianchi ; Carlos H.C. Ribeiro ; Anna H.R. Costa
Using Concept Hierarchies in Knowledge Discovery / Marco Eugênio Madeira Di Beneditto
A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev Distances / Francisco de A.T. de Carvalho ; Renata M.C.R. de Souza ; Fabio C.D. Silva
An Efficient Clustering Method for High-Dimensional Data Mining / Jae- Woo Chang ; Yong-Ki Kim
Learning with Drift Detection / João Gama ; Pedro Medas ; Gladys Castillo ; Pedro Rodrigues
Learning with Class Skews and Small Disjuncts / Ronaldo C. Prati ; Gustavo E.A.P.A. Batista ; Maria Carolina Monard
Making Collaborative Group Recommendations Based on Modal Symbolic Data / Sérgio R. de M. Queiroz
Search-Based Class Discretization for Hidden Markov Model for Regression / Kate Revoredo ; Gerson Zaverucha
SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries / Marcelino Pereira dos Santos Silva ; Jacques Robin
Evolutionary Computation, Artificial Life, and Hybrid Systems
Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life / Angelo Loula ; Ricardo Gudwin ; João Queiroz
What Makes a Successful Society? Experiments with Population Topologies in Particle Swarms / Rui Mendes ; José Neves
Splinter: A Generic Framework for Evolving Modular Finite State Machines / Ricardo Nastas Acras ; Silvia Regina Vergilio
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs / Ana Carolina Lorena ; André C. Ponce de Leon F. de Carvalho
Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic Algorithms / Joaquín Pérez O. ; Rodolfo A. Pazos R. ; Graciela Mora O. ; Guadalupe Castilla V. ; José A. Martínez. ; Vanesa Landero N. ; Héctor Fraire H. ; Juan J. González B.
Detecting Promising Areas by Evolutionary Clustering Search / Alexandre C.M. Oliveira ; Luiz A.N. Lorena
A Fractal Fuzzy Approach to Clustering Tendency Analysis / Sarajane Marques Peres ; Márcio Luiz de Andrade Netto
On Stopping Criteria for Genetic Algorithms / Martín Safe ; Jessica Carballido ; Ignacio Ponzoni ; Nélida Brignole
A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules / Pablo Alberto de Castro ; Heloisa A. Camargo
Using Rough Sets Theory and Minimum Description Length Principle to Improve a β-TSK Fuzzy Revision Method for CBR Systems / Florentino Fdez-Riverola ; Fernando Díaz ; Juan M. Corchado
Robotics and Computer Vision
Forgetting and Fatigue in Mobile Robot Navigation / Luís Correia ; António Abreu
Texture Classification Using the Lempel-Ziv-Welch Algorithm / Leonardo Vidal Batista ; Moab Mariz Meira
A Clustering-Based Possibilistic Method for Image Classification / Isabela Drummond ; Sandra Sandri
An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results / Hemerson Pistori ; João José Neto
Autonomous Agents and Multi-agent Systems
Recent Advances on Multi-agent Patrolling / Alessandro Almeida ; Geber Ramalho ; Hugo Santana ; Patrícia Tedesco ; Talita Menezes ; Vincent Corruble ; Yann Chevaleyre
On the Convergence to and Location of Attractors of Uncertain, Dynamic Games / Eduardo Camponogara
Norm Consistency in Electronic Institutions / Marc Esteva ; Wamberto Vasconcelos ; Carles Sierra ; Juan A. Rodríguez-Aguilar
Using the <$>{\cal M}<$>oise+ for a Cooperative Framework of MAS Reorganisation / Jomi Fred Hübner ; Jaime Simão Sichman ; Olivier Boissier
A Paraconsistent Approach for Offer Evaluation in Negotiations / Fabiano M. Hasegawa ; Bráulio C. Ávila ; Marcos Augusto H. Shmeil
Sequential Bilateral Negotiation / Orlando Pinho Jr. ; Gustavo de Paula
Towards to Similarity Identification to Help in the Agents' Negotiation / Andreia Malucelli ; Eugénio Oliveira
Author Index
Logics, Planning, and Theoretical Methods
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
Random Matrices in Data Analysis / Dimitris Achlioptas
Data Privacy / Rakesh Agrawal
Breaking Through the Syntax Barrier: Searching with Entities and Relations / Soumen Chakrabarti
Real-World Learning with Markov Logic Networks / Pedro Domingos
Strength in Diversity: The Advance of Data Analysis / David J. Hand
Contributed Papers
Filtered Reinforcement Learning / Douglas Aberdeen
Applying Support Vector Machines to Imbalanced Datasets / Rehan Akbani ; Stephen Kwek ; Nathalie Japkowicz
Sensitivity Analysis of the Result in Binary Decision Trees / Isabelle Alvarez
A Boosting Approach to Multiple Instance Learning / Peter Auer ; Ronald Ortner
An Experimental Study of Different Approaches to Reinforcement Learning in Common Interest Stochastic Games / Avi Bab ; Ronen Brafman
Learning from Message Pairs for Automatic Email Answering / Steffen Bickel ; Tobias Scheffer
Concept Formation in Expressive Description Logics / Nicola Fanizzi ; Luigi Iannone ; Ignazio Palmisano ; Giovanni Semeraro
Multi-level Boundary Classification for Information Extraction / Aidan Finn ; Nicholas Kushmerick
An Analysis of Stopping and Filtering Criteria for Rule Learning / Johannes Fürnkranz ; Peter Flach
Adaptive Online Time Allocation to Search Algorithms / Matteo Gagliolo ; Viktor Zhumatiy ; Jürgen Schmidhuber
Model Approximation for HEXQ Hierarchical Reinforcement Learning / Bernhard Hengst
Iterative Ensemble Classification for Relational Data: A Case Study of Semantic Web Services / Andreas Heß
Analyzing Multi-agent Reinforcement Learning Using Evolutionary Dynamics / Pieter Jan 't Hoen ; Karl Tuyls
Experiments in Value Function Approximation with Sparse Support Vector Regression / Tobias Jung ; Thomas Uthmann
Constructive Induction for Classifying Time Series / Mohammed Waleed Kadous ; Claude Sammut
Fisher Kernels for Logical Sequences / Kristian Kersting ; Thomas Gärtner
The Enron Corpus: A New Dataset for Email Classification Research / Bryan Klimt ; Yiming Yang
Margin Maximizing Discriminant Analysis / András Kocsor ; Kornél Kovács ; Csaba Szepesvári
Multi-objective Classification with Info-Fuzzy Networks / Mark Last
Improving Progressive Sampling via Meta-learning on Learning Curves / Rui Leite ; Pavel Brazdil
Methods for Rule Conflict Resolution / Tony Lindgren
An Efficient Method to Estimate Labelled Sample Size for Transductive LDA(QDA/MDA) Based on Bayes Risk / Han Liu ; Xiaobin Yuan ; Qianying Tang ; Rafal Kustra
Analyzing Sensory Data Using Non-linear Preference Learning with Feature Subset Selection / Oscar Luaces ; Gustavo F. Bayón ; José R. Quevedo ; Jorge Díez ; Juan José del Coz ; Antonio Bahamonde
Dynamic Asset Allocation Exploiting Predictors in Reinforcement Learning Framework / Jangmin O ; Jae Won Lee ; Jongwoo Lee ; Byoung-Tak Zhang
Justification-Based Selection of Training Examples for Case Base Reduction / Santiago Ontañón ; Enric Plaza
Using Feature Conjunctions Across Examples for Learning Pairwise Classifiers / Satoshi Oyama ; Christopher D. Manning
Feature Selection Filters Based on the Permutation Test / Predrag Radivojac ; Zoran Obradovic ; A. Keith Dunker ; Slobodan Vucetic
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
The Development of E-mathematics Resources at Tsinghua University Library (THUL) / Guilin Liu ; Lisheng Feng ; Airong Jiang ; Xiaohui Zheng
MOWGLI - An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents / Andrea Asperti ; Bernd Wegner
SINM: The Italian National Information System for Mathematics / Virginia Valzano ; Maria Carmela Catamo
Management of Informal Mathematical Knowledge - Lessons Learned from the Trial-Solution Project / Ingo Dahn
RusDML - A Russian-German Project for Establishing a Digital Archive of the Russian Mathematical Publications / Galina A. Evstigneeva ; Andrei I. Zemskov
Predicting the Future of Scholarly Publishing / John Ewing
An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge / Bernd D. Heumesser ; Dietmar A. Seipel ; Ralf-Dieter Schimkat ; Ulrich Guntzer
International Copyright and Mathematics / Wilfrid Hodges
EMIS 2001 - A World-Wide Cooperation for Communicating Mathematics Online / Michael Jost
Math-Net Means Not Just a Page! / Michael Kaplan
Mathematics Subject Classification and Related Schemes in the OAI Framework / Antonella De Robbio ; Dario Maguolo ; Alberto Marini
Metadata Models - International Developments and Implementation / Heike Neuroth ; Margo Bargheer
LIMES - An Infrastructure for the Benefit of Mathematicians in the Information Society / Olaf Ninnemann
Peer Refereeing..Will It Be Missed? / Alfred J. van der Poorten
Geometry & Topology Publications A Community Based Publishing Initiative / Colin Rourke ; Brian Sanderson
The Web: Challenge and Opportunity for an Independent Journal / Klaus Kaiser
Math-Net International and the Math-Net Page / Wolfram Sperber
EMANI - A Project for the Long-Term Preservation of Electronic Publications in Mathematics
Author Index
The Development of E-mathematics Resources at Tsinghua University Library (THUL) / Guilin Liu ; Lisheng Feng ; Airong Jiang ; Xiaohui Zheng
MOWGLI - An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents / Andrea Asperti ; Bernd Wegner
SINM: The Italian National Information System for Mathematics / Virginia Valzano ; Maria Carmela Catamo
A Vision System for Autonomous Ground Vehicles with a Wide Range of Maneuvering Capabilities / R. Gregor ; M. Lützeler ; M. Pellkofer ; K.-H. Siedersberger ; E.D. Dickmanns
A Framework for Generic State Estimation in Computer Vision Applications / Cristian Sminchisescu ; Alexandru Telea
MOBSY: Integration of Vision and Dialogue in Service Robots / Matthias Zobel ; Joachim Denzler ; Benno Heigl ; Elmar Nöth ; Dietrich Paulus ; Jochen Schmidt ; Georg Stemmer
Tracking
A Handwriting Recognition System Based on Visual Input / Markus Wienecke ; Gernot A. Fink ; Gerhard Sagerer
Integration of Wireless Gesture Tracking, Object Tracking, and 3D Reconstruction in the Perceptive Workbench / Bastian Leibe ; David Minnen ; Justin Weeks ; Thad Starner
Towards Robust Multi-cue Integration for Visual Tracking / Martin Spengler ; Bernt Schiele
Autonomous Driving
Real Time Visual Cues Extraction for Monitoring Driver Vigilance / Qiang Ji ; Xiaojie Yang
Radar and Vision Data Fusion for Hybrid Adaptive Cruise Control on Highways / U. Hofmann ; A. Rieder
Combining EMS-Vision and Horopter Stereo for Obstacle Avoidance of
Autonomous Vehicles / M. Lutzeler ; R. Mandelbaum ; L. Bogoni
Real-Time Vision Modules
The CardEye: A Trinocular Active Vision System / Elsayed E. Hemayed ; Moumen T. Ahmed ; Aly A. Farag
RPV-II: A Stream-Based Real-Time Parallel Vision System and Its Application to Real-Time Volume Reconstruction / Daisaku Arita ; Rin-ichiro Taniguchi
A Real-Time Vision Module for Interactive Perceptual Agents / Bruce A. Maxwell ; Nathaniel Fairfield ; Nikolas Johnson ; Pukar Malla ; Paul Dickson ; Suor Kim
A Fault-Tolerant Distributed Vision System Architecture for Object Tracking in a Smart Room / Deepak R. Karuppiah ; Zhigang Zhu ; Prashant Shenoy ; Edward M. Riseman
Identification of Shapes Using a Nonlinear Dynamic System / S. Hoque ; S. Kazadi ; A. Li ; W. Chen ; E. Sadun
Adapting Object Recognition across Domains: A Demonstration / Ulrike Ahlrichs
Exploration and Navigation
A System to Navigate a Robot into a Ship Structure / Markus Vincze ; Minu Ayromlou ; Carlos Beltran ; Antonios Gasteratos ; Simon Hoffgaard ; Ole Madsen ; Wolfgang Ponweiser ; Michael Zillich
Reconstructing Textured CAD Model of Urban Environment Using Vehicle-Borne Laser Range Scanners and Line Cameras / Huijing Zhao ; Ryosuke Shibasaki
A Stereo Vision System for Support of Planetary Surface Exploration / Maarten Vergauwen ; Marc Pollefeys ; Luc Van Gool
Author Index
Architectures for Computer Vision Systems
A Vision System for Autonomous Ground Vehicles with a Wide Range of Maneuvering Capabilities / R. Gregor ; M. Lützeler ; M. Pellkofer ; K.-H. Siedersberger ; E.D. Dickmanns
A Framework for Generic State Estimation in Computer Vision Applications / Cristian Sminchisescu ; Alexandru Telea
Extending ConGolog to Allow Partial Ordering / Chitta Baral ; Tran Cao Son
Operational Semantics of Multi-agent Organisations / Jacques Ferber ; Olivier Gutknecht
Open Multi-agent Systems: Agent Communication and Integration / Rogier M. van Eijk ; Frank S. de Boer ; Wiebe van der Hoek ; John-Jules Ch. Meyer
Toward Team-Oriented Programming / David V. Pynadath ; Milind Tambe ; Nicolas Chauvat ; Lawrence Cavedon
Agent-Oriented Software Engineering / Section IV:
Multiagent System Engineering: The Coordination Viewpoint / Stefan Bussmann ; Paolo Ciancarini ; Keith Decker ; Michael Huhns ; Andrea Omicini ; Franco Zambonelli
Using Multi-context Systems to Engineer Executable Agents / Jordi Sabater ; Carles Sierra ; Simon Parsons ; Nicholas R. Jennings
Structuring BDI Agents in Functional Clusters / Paolo Busetta ; Nicholas Howden ; Ralph Ronnquist ; Andrew Hodgson
Towards a Distributed, Environment-Centered Agent Framework / John R. Graham ; Keith S. Decker
Decision Making in a Social Context / Section V:
Variable Sociability in Agent-Based Decision Making / Lisa Hogg
Cooperation and Group Utility / Guido Boella ; Rossana Damiano ; Leonardo Lesmo
Relating Quantified Motivations for Organizationally Situated Agents / Thomas Wagner ; Victor Lesser
The Role and the Impact of Preferences on Multiagent Interaction / Sviatoslav Brainov
Deliberate Normative Agents: Principles and Architecture / Cristiano Castelfranchi ; Frank Dignum ; Catholijn M. Jonker ; Jan Treur
Subject Index
Author Index
Agent Theories / Section I:
Reasoning about Visibility, Perception and Knowledge / Michael Wooldridge ; Alessio Lomuscio
A Spectrum of Modes of Knowledge Sharing between Agents / Mark Ryan
Time in Distributed System Models and Algorithms / Paulo Ver'issimo ; Michel Raynal
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour / Rachid Guerraoui ; Michel Hurfin ; Achour Mostefaoui ; Riucarlos Oliveira ; Andre Schiper
Group Communication in Partitionable Distributed Systems / Özalp Babaoglu ; Renzo Davoli ; Alberto Montresor
Enhancing Replica Management Services to Cope with Group Failures / Paul D. Ezhilchelvan ; Santosh K. Shrivastava
Recent Advances in Distributed Garbage Collection / Marc Shapiro ; Fabrice Le Fessant ; Paulo Ferreira
Topology-Aware Algorithms for Large-Scale Communication / Luis Rodrigues ; Paulo Verissimo
Systems Architecture / Part 2:
Responsive Protocols for Distributed Multimedia Applications / Fabio Panzieri ; Marco Roccetti
Programming Partition-Aware Network Applications / Ozalp Babaoglu ; Alberto Bartoli ; Gianluca Dini
Deploying Distributed Objects on the Internet / Steve J. Caughey ; Daniel Hagimont ; David B. Ingham
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects / Mark C. Little
OPENflow: A CORBA Based Transactional Workflow System / Stuart M. Wheater ; Frederic Ranno
Improving the Effectiveness of Web Caching / Jean-Marc Menaud ; Michel Banâtre
Mobility and Coordination for Distributed Java Applications / Paolo Ciancarini ; Andrea Giovannini ; Davide Rossi
Case Studies / Part 4:
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store / Xavier Blondel ; Olivier Fambon ; João Garcia ; Sytse Kloosterman ; Nicolas Richer ; Marcus Robert ; Fadi Sandakly ; George Coulouris ; Jean Dollimore ; Paulo Guedes
The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components / C. Richard Snow ; Harry Whitfield
Quality of Service and Electronic Newspaper: The Etel Solution / Valerie Issarny ; Michel Banatre ; Boris Charpiot
FlexiNet: A Flexible, Component-Oriented Middleware System / Richard Hayton ; Andrew Herbert
Author Index
Distributed Algorithms / Part 1:
Time in Distributed System Models and Algorithms / Paulo Ver'issimo ; Michel Raynal
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour / Rachid Guerraoui ; Michel Hurfin ; Achour Mostefaoui ; Riucarlos Oliveira ; Andre Schiper
Parallel and Distributed Data Mining: An Introduction / Mohammed J. Zaki
Mining Frameworks
The Integrated Delivery of Large-Scale Data Mining: The ACSys Data Mining Project / Graham Williams ; Irfan Altas ; Sergey Bakin ; Peter Christen ; Markus Hegland ; Alonso Marquez ; Peter Milne ; Rajehndra Nagappan ; Stephen Roberts
A High Performance Implementation of the Data Space Transfer Protocol (DSTP) / Stuart Bailey ; Emory Creel ; Robert Grossman ; Srinath Gutti ; Harinath Sivakumar
Active Mining in a Distributed Setting / Srinivasan Parthasarathy ; Sandhya Dwarkadas ; Mitsunori Ogihara
Associations and Sequences
Efficient Parallel Algorithms for Mining Associations / Mahesh V. Joshi ; Eui-Hong (Sam) Han ; George Karypis ; Vipin Kumar
Parallel Branch-and-Bound Graph Search for Correlated Association Rules / Shinichi Morishita ; Akihiro Nakaya
Parallel Generalized Association Rule Mining on Large Scale PC Cluster / Takahiko Shintani ; Masaru Kitsuregawa
Parallel Sequence Mining on Shared-Memory Machines
Pushout Complements for Arbitrary Partial Algebras / Francesc Rosselló
Concurrency and Distribution
Unfolding of Double-Pushout Graph Grammars is a Coreflection / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Local Views on Distributed Systems and Their Communication / Ingrid Fischer ; Manuel Koch ; Gabriele Taentzer
Dynamic Change Management by Distributed Graph Transformation:
Towards Configurable Distributed Systems / Michael Goedicke ; Torsten Meyer
A Framework for NLC and ESM: Local Action Systems / Nico Verlinden ; Dirk Janssens
Artificial Intelligence
Redundancy and Subsumption in High-Level Replacement Systems / Hans-Jörg Kreowski ; Gabriel Valiente
Knowledge Representation and Graph Transformation / Stefan Schuster
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching / Michael Rudolf
Visual Languages
Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages / Roswitha Bardohl
From Formulae to Rewriting Systems / Paolo Bottoni ; Francesco Parisi-Presicce ; Marta Simeoni
Hypergraphs as a Uniform Diagram Representation Model / Mark Minas
Specification Concepts
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java / Thorsten Fischer ; Jörg Niere ; Lars Torunski ; Albert Zündorf
A Fully Abstract Model for Graph-Interpreted Temporal Logic / Fabio Gadducci
More About Control Conditions for Transformation Units / Sabine Kuske
Integrity Constraints in the Multi-paradigm Language PROGRES / Manfred Münch ; Andy Schürr ; Andreas J. Winter
Modularity and Refinement
A Framework for Adding Packages to Graph Transformation Approaches / Giorgio Busatto ; Gregor Engels ; Katharina Mehner ; Annika Wagner
Refinements of Graph Transformation Systems via Rule Expressions / Martin Große-Rhode
Simple Modules for Grace / Berthold Hoffmann ; Peter Knirsch
UML Packages for PROgrammed Graph REwriting Systems
Incremental Development of Safety Properties in Petri Net Transformations / Maike Gajewsky ; Kathrin Hoffmann
Software Engineering
Using Graph Transformation Techniques for Integrating Information from the WWW / Lukas C. Faulstich
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism / Curtis E. Hrischuk
Graph-Based Models for Managing Development Processes, Resources, and Products / Carl-Arndt Krapp ; Sven Kruppel ; Ansgar Schleicher ; Bernhard Westfechtel
Deriving Software Performance Models from Architectural Patterns by Graph Transformations / Dorina C. Petriu ; Xin Wang
Author Index
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
Performance Evaluation in Industry: A Personal Perspective / Stephen S. Lavenberg ; Mark S. Squillante
Topical Area Papers / I:
Mainframe Systems / Jeffrey P. Buzen
Performance Analysis of Storage Systems / Elizabeth Shriver ; Bruce K. Hillyer ; Avi Silberschatz
Ad Hoc, Wireless, Mobile Networks: The Role of Performance Modeling and Evaluation / Mario Gerla ; Manthos Kazantzidis ; Guangyu Pei ; Fabrizio Talucci ; Ken Tang
Trace-Driven Memory Simulation: A Survey / Richard A. Uhlig ; Trevor N. Mudge
Performance Issues in Parallel Processing Systems / Luiz A. DeRose ; Mario Pantano ; Daniel A. Reed ; Jeffrey S. Vetter
Measurement-Based Analysis of Networked System Availability / Ravishankar K. Iyer ; Zbigniew Kalbarczyk ; Mahesh Kalyanakrishnan
Performance of Client/Server Systems / Daniel A. Menasce ; Virgilio A. F. Almeida
Performance Characteristics of the World Wide Web / Mark E. Crovella
Parallel Job Scheduling: A Performance Perspective / Shikharesh Majumdar ; Eric W. Parsons
Scheduling of Real-Time Tasks with Complex Constraints / Seonho Choi ; Ashok K. Agrawala
Software Performance Evaluation by Models / Murray Woodside
Performance Analysis of Database Systems / Alexander Thomasian
Performance Analysis of Concurrency Control Methods
Numerical Analysis Methods / William J. Stewart
Product Form Queueing Networks / Simonetta Balsamo
Stochastic Modeling Formalisms for Dependability, Performance and Performability / Katerina GoÃœeva-Popstojanova ; Kishor Trivedi
Analysis and Application of Polling Models / Hideaki Takagi
Discrete-Event Simulation in Performance Evaluation / David M. Nicol
Workload Characterization Issues and Methodologies / Maria Calzarossa ; Luisa Massari ; Daniele Tessera
Digital Cities: Organization, Content, and Use / Peter van den Besselaar ; Isabel Melis ; Dennis Beckers
Digital City or Urban Simulator? / Alessandro Aurigi
Next Generation Community Networking: Futures for Digital Cities / Artur Serra
Digital City Experiments
Experiences of European Digital Cities / Eric Mino
The Information Society in the City of Antwerp / Bruno Peeters
Helsinki Arena 2000 - Augmenting a Real City to a Virtual One / Risto Linturi ; Marja-Riitta Koivunen ; Jari Sulkanen
The Geographic Information System (GIS) of Turin Municipality / Guido Bolatto ; Adriano Sozza ; Ivano Gauna ; Maddalena Rusconi
Digital City Bristol: A Case Study / Annelies de Bruine
Digital City Shanghai: Towards Integrated Information & Service Environment / Ding Peng ; Mao Wei Liang ; Rao Ruo Nan ; Sheng Huan Ye ; Ma Fan Yuan
Experiments in the Digital 'Engineering City Oulu' / Lech Krzanik ; Minna Makarainen
Community Network Experiments
Reconfiguring Community Networks: The Case of PrairieKNOW / Noshir Contractor ; Ann Peterson Bishop
The Mutual Development of Role, Rule, and Tool Through the VCOM Project / Shoko Miyagawa ; Ikuyo Kaneko
Davis Community Network (DCN): A Regional Community Networking Initiative in North-Central California / Richard Lowenberg
Examining Community in the Digital Neighborhood: Early Results from Canada's Wired Suburb / Keith N. Hampton ; Barry Wellman
On-Line Forums as an Arena for Political Discussions / Agneta Ranerup
Applications of Digital Cities
Towards the Integration of Physical and Virtual Worlds for Supporting Group Learning / Fusako Kusunoki ; Masanori Sugimoto ; Hiromichi Hashizume
Digital City for Disaster Reduction - Development of Pictogram System for Disaster Management - / Haruo Hayashi ; Satoshi Tanaka ; Kazunori Urabe ; Haruhide Yoshida ; Satoshi Inoue ; Hideki Shima ; Nobuhisa Deki ; Jun Kasagi ; Takahiro Nishino ; Masasuke Takashima
The Digital City's Public Library: Support for Community Building and Knowledge Sharing / Scott Robertson
Agent Community with Social Interactions for Worker and Job Hunting / Takayoshi Asakura ; Takahiro Shiroshima ; Toshiaki Miyashita
Visualization Technologies
The Motion Generation of Pedestrians as Avatars and Crowds of People / Ken Tsutsuguchi ; Kazuhiro Sugiyama ; Noboru Sonehara
Image-Based Pseudo-3D Visualization of Real Space on WWW / Masahiko Tsukamoto
Dynamic Zone Retrieval and Landmark Computation for Spatial Data / Hiroaki Kawagishi ; Kengo Koiso ; Katsumi Tanaka
Environment of Spatial Information Sharing / Hiroshi Tsuji ; Takaaki Yamada ; Maki Tamano ; Tsuneo Sobue ; Shuji Kitazawa
Image Maps: Exploring Urban History through Digital Photography / Brian K. Smith ; Erik Blankinship ; Alfred Ashford III ; Michael Baker ; Timothy Hirzel
Mobile Technologies
Navigation Support in a Real City Using City Metaphors / Kensaku Fujii ; Shigeru Nagai ; Yasuhiko Miyazaki
Public Applications of SpaceTag and Their Impacts / Hiroyuki Tarumi ; Ken Morishita ; Yahiko Kambayashi
Location Oriented Integration of Internet Information - Mobile Info Search - / Katsumi Takahashi ; Seiji Yokoji ; Nobuyuki Miura
Fairy in a Smart IC Card: Interfacing People, Town, and Digital City / Takao Terano ; Toshikazu Nishimura ; Yoko Ishino ; Eiji Murakami
Social Interaction and Communityware
A Warm Cyber-Welcome: Using an Agent-Led Group Tour to Introduce Visitors to Kyoto / Katherine Isbister
Extending the Services and the Accessibility of Community Networks / Antonietta Grasso ; Dave Snowdon ; Michael Koch
XML: Current Developments and Future Challenges for the Database Community / Stefano Ceri ; Piero Fraternali ; Stefano Paraboschi
Indexing & Searching
Trading Quality for Time with Nearest-Neighbor Search / Roger Weber ; Klemens Böhm
Dynamically Optimizing High-Dimensional Index Structures / Christian Böhm ; Hans-Peter Kriegel
Slim-Trees: High Performance Metric Trees Minimizing Overlap Between Nodes / Caetano Traina Jr. ; Agma Traina ; Bernhard Seeger ; Christos Faloutsos
Mediators & Semantic Integration
Automatic Deployment of Application-Specific Metadata and Code in MOCHA / Manuel Rodríguez-Martínez ; Nick Roussopoulos
A Graph-Oriented Model for Articulation of Ontology Interdependencies / Prasenjit Mitra ; Gio Wiederhold ; Martin Kersten
An Approach to the Semi-automatic Generation of Mediator Specifications / Birgitta König-Ries
Cooperation & Security
Securing XML Documents / Ernesto Damiani ; Sabrina De Capitani di Vimercati ; Pierangela Samarati
Using Checksums to Detect Data Corruption / Daniel Barbará ; Rajni Goel ; Sushil Jajodia
Navigation-Driven Evaluation of Virtual Mediated Views / Bertram Ludäscher ; Yannis Papakonstantinou ; Pavel Velikhov
Performance
Aggregate Aware Caching for Multi-dimensional Queries / Prasad M. Deshpande ; Jeffrey F. Naughton
Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems / Michael Gillmann ; Jeanine Weissenfels ; Gerhard Weikum ; Achim Kraiss
Evolution and Revolutions in LDAP Directory Caches / Olga Kapitskaia ; Raymond T. Ng ; Divesh Srivastava
Industrial & Applications Track: Performance
Order Based Analysis Functions in NCR Teradata Parallel RDBMS / Ambuj Shatdal
Performance of DB2 Enterprise-Extended Edition on NT with Virtual Interface Architecture / Sivakumar Harinath ; Robert L. Grossman ; K. Bernhard Schiefer ; Xun Xue ; Sadique Syed
A Database Perspective on Building Large Applications-Experience Report / Joachim Thomas ; Prithwish Kangsabanik
Data Warehousing
The Dynamic Data Cube / Steven Geffner ; Divakant Agrawal ; Amr El Abbadi
OLAP Query Routing and Physical Design in a Database Cluster / Uwe Röhm ; Hans-Jörg Schek
Materialized View Selection for Multi-cube Data Models / Amit Shukla
Semistructured Data
On Bounding-Schemas for LDAP Directories / Sihem Amer-Yahia ; H.V. Jagadish ; Laks V.S. Lakshmanan
Approximate Graph Schema Extraction for Semi-structured Data / Qiu Yue Wang ; Jeffrey Xu Yu ; Kam-Fai Wong
A Data Model for Semistructured Data with Partial and Inconsistent Information / Mengchi Liu ; Toh Wang Ling
Data Mining
Mining Classification Rules from Datasets with Large Number of Many-Valued Attributes / Giovanni Giuffrida ; Wesley W. Chu ; Dominique M. Hanssens
Efficient Discovery of Functional Dependencies and Armstrong Relations / Stéphane Lopes ; Jean-Marc Petit ; Lotfi Lakhal
Athena: Mining-Based Interactive Management of Text Databases / Rakesh Agrawal ; Roberto Bayardo ; Ramakrishnan Srikant
Industrial & Applications Track: XML
Tamino - An Internet Database System / Harald Schöning ; Jürgen Wäsch
A Systematic Approach for Informal Communictation During Workflow Execution / Christoph Bussler
Spatial & Temporal Information
Temporal View Self-Maintenance / Jun Yang ; Jennifer Widom
A Unified Approach for Indexed and Non-indexed Spatial Joins / Lars Arge ; Octavian Procopiuc ; Sridhar Ramaswamy ; Torsten Suel ; Jan Vahrenhold ; Jeffrey Scott Vitter
Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases / Mengchu Cai ; Dinesh Keshwani ; Peter Z. Revesz
Systems & Applications
An Architecture for Archiving and Post-Processing Large, Distributed, Scientific Data Using SQL/MED and XML / Mark Papiani ; Jasmin L. Wason ; Denis A. Nicole
Persistent Client-Server Database Sessions / Roger S. Barga ; David B. Lomet ; Thomas Baby ; Sanjay Agrawal
Object View Hierarchies in DB2 UDB / Michael Carey ; Serge Rielau ; Bennet Vance
Query Systems
Plug&Join: An Easy-to-Use Generic Algorithm for Efficiently Processing Equi and Non-equi Joins / Jochen van den Bercken ; Martin Schneider
Shape Analysis / Reinhard Wilhelm ; Mooly Sagiv ; Thomas Reps
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? / Raja Vallee-Rai ; Etienne Gagnon ; Laurie Hendren ; Patrick Lam ; Patrice Pominville ; Vijay Sundaresan
Automatic Removal of Array Memory Leaks in Java / Ran Shaham ; Elliot K. Kolodner
A Static Study of Java Exceptions Using JESP / Barbara G. Ryder ; Donald Smith ; Ulrich Kremer ; Michael Gordon ; Nirav Shah
Fast Escape Analysis and Stack Allocation for Object-Based Programs / David Gay ; Bjarne Steensgaard
Constant Propagation on the Value Graph: Simple Constants and Beyond / Jens Knoop ; Oliver Ruthing
Simple Generation of Static Single-Assignment Form / John Aycock ; Nigel Horspool
Demand-Driven Construction of Call Graphs / Gagan Agrawal
A Framework for Loop Distribution on Limited On-Chip Memory Processors / Lei Wang ; Waibhav Tembe ; Santosh Pande
Techniques for Effectively Exploiting a Zero Overhead Loop Buffer / Gang-Ryung Uh ; Yuhong Wang ; David Whalley ; Sanjay Jinturkar ; Chris Burns ; Vincent Cao
Advanced Compiler Optimization for CalmRISC8 Low-End Embedded Processor / Dae-Hwan Kim
Global Software Pipelining with Iteration Preselection / David Gregg
Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations / Yuan Lin ; David Padua
Advanced Scalarization of Array Syntax / Gerald Roth
Techniques for Reducing the Overhead of Run-Time Parallelization / Hao Yu ; Lawrence Rauchwerger
MATOU: An Implementation of Mode-Automata / Florence Maraninchi ; Yann Remond ; Yannick Raoul
Compiling Adaptive Programs by Partial Evaluation / Peter Thiemann
Shape Analysis / Reinhard Wilhelm ; Mooly Sagiv ; Thomas Reps
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? / Raja Vallee-Rai ; Etienne Gagnon ; Laurie Hendren ; Patrick Lam ; Patrice Pominville ; Vijay Sundaresan
An Essay on Software Engineering at the Turn of Century / Wladyslaw M. Turski
Memex Is Not Enough / Richard Mark Soley
From Play-In Scenarios to Code: An Achievable Dream / David Harel
Real-Time Systems
Parallel Refinement Mechanisms for Real-Time Systems / Paul Z. Kolano ; Richard A. Kemmerer ; Dino Mandrioli
Applying RT-Z to Develop Safety-Critical Systems / Carsten Sühl
A Process Algebra for Real-Time Programs / Henning Dierks
Formally Engineering Systems
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches / Giovanna Dondossola ; Oliver Botti
Structuring and Design of Reactive Systems Using RSDS and B / K. Lano ; K. Androutsopoulos ; D. Clark
Using Domain-Specific Languages for the Realization of Component Composition / Matthias Anlauff ; Philipp W. Kutter ; Alfonso Pierantonio ; Asuman Sünbül
Software Engineering
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach / G. Reggio ; E. Astesiano ; C. Choppy ; H. Hussmann
What Is 'Mathematicalness' in Software Engineering? / Hidetaka Kondoh
A Formal Approach to Heterogeneous Software Modeling / Alexander Egyed ; Nenad Medvidovic
Object Orientation
Formal Specification of Object-Oriented Meta-modelling / Gunnar Övergaard
Verification of Object Oriented Programs Using Class Invariants / Kees Huizing ; Ruurd Kuiper ; SOOP
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem / Pablo Gruer ; Vincent Hilaire ; Abder Koukam
A Model for Describing Object-Oriented Systems from Multiple Perspectives / Torsten Nelson ; Donald Cowan ; Paulo Alencar
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems / J. Padberg ; K. Hoffmann ; M. Gajewsky
Theory and Applications
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation / Françoise Bellegarde ; Jacques Julliand ; Olga Kouchnarenko
Java Program Verification via a Hoare Logic with Abrupt Termination / Marieke Huisman ; Bart Jacobs
Foundations for Software Configuration Management Policies Using Graph Transformations / Francesco Parisi-Presicce ; Alexander L. Wolf
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
An Extensible Type Systemfor Component-Based Design / Yuhong Xiong ; Edward A. Lee
Proof General: A Generic Tool for Proof Development / David Aspinall
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation / Michael Goedicke ; Bettina Enders ; Torsten Meyer ; Gabriele Taentzer
Formal Methods Tools
Consistent Integration of Formal Methods / Peter Braun ; Heiko Lötzbeyer ; Bernhard Schätz ; Oscar Slotosch
An Architecture for Interactive Program Provers / Jörg Meyer ; Arnd Poetzsch-Heffter
The PROSPER Toolkit / Louise A. Dennis ; Graham Collins ; Michael Norrish ; Richard Boulton ; Konrad Slind ; Graham Robinson ; Mike Gordon ; Tom Melham
CASL: From Semantics to Tools / Till Mossakowski
Timed and Hybrid Systems
On the Construction of Live Timed Systems / Sébastien Bornot ; Gregor Gößler ; Joseph Sifakis
On Memory-Block Traversal Problems in Model-Checking Timed Systems / Fredrik Larsson ; Paul Pettersson ; Wang Yi
Symbolic Model Checking for Rectangular Hybrid Systems / Thomas A. Henzinger ; Rupak Majumdar
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems / Farn Wang
Infinite and Parameterized Systems
Verification of Parameterized Systems Using Logic Program Transformations / Abhik Roychoudhury ; K. Narayan Kumar ; C.R. Ramakrishnan ; I. V. Ramakrishnan ; Scott A. Smolka
Abstracting WS1S Systems to Verify Parameterized Networks / Kai Baukus ; Saddek Bensalem ; Yassine Lakhnech ; Karsten Stahl
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems / J.-P. Bodeveix ; M. Filali
Transitive Closures of Regular Relations for Verifying Infinite-State Systems / Bengt Jonsson ; Marcus Nilsson
Diagnostic and Test Generation
Using Static Analysis to Improve Automatic Test Generation / Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu
Efficient Diagnostic Generation for Boolean Equation Systems / Radu Mateescu
Efficient Model-Checking
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems / Jean-Pierre Krimm ; Laurent Mounier
Checking for CFFD-Preorder with Tester Processes / Juhana Helovuo ; Antti Valmari
Fair Bisimulation / Sriram K. Rajamani
Integrating Low Level Symmetries into Reachability Analysis / Karsten Schmidt
Model-Checking Tools
Model Checking Support for the ASM High-Level Language / Giuseppe Del Castillo ; Kirsten Winter
A Markov Chain Model Checker / Holger Hermanns ; Joost-Pieter Katoen ; Joachim Meyer-Kayser ; Markus Siegle
Model Checking SDL with Spin / Dragan Bošnački ; Dennis Dams ; Leszek Holenderski ; Natalia Sidorova
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking / Ramesh Bharadwaj ; Steve Sims
Symbolic Model-Checking
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation / Luca de Alfaro ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Roberto Segala
Symbolic Reachability Analysis Based on SAT-Solvers / Parosh Aziz Abdulla ; Per Bjesse ; Niklas Eén
Symbolic Representation of Upward-Closed Sets / Giorgio Delzanno ; Jean-François Raskin
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems / Tevfik Bultan
Visual Tools
Tool-Based Specification of Visual Languages and Graphic Editors / Magnus Niemann ; Roswitha Bardohl
VIP: A Visual Editor and Compiler for v-Promela / Moataz Kamel ; Stefan Leue
Verification of Critical Systems
A Comparison of Two Verification Methods for Speculative Instruction Execution / Tamarah Arons ; Amir Pnueli
Partial Order Reductions for Security Protocol Verification / Edmund Clarke ; Somesh Jha ; Will Marrero
Model Checking Security Protocols Using a Logic of Belief / Massimo Benerecetti ; Fausto Giunchiglia
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors / S. Gnesi ; D. Latella ; G. Lenzini ; C. Abbaneo ; A. Amendola ; P. Marmo
Author Index
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations / Ramin Sadre ; Boudewijn R. Haverkort
Galileo: A Tool for Dynamic Fault Tree Analysis / Joanne Bechta Dugan
Möbius: An Extensible Tool for Performance and Dependability Modeling / David Daly ; Daniel D. Deavours ; Jay M. Doyle ; Patrick G. Webster ; William H. Sanders
Calculation and Use of Peaking Factors for Remote Terminal Emulation / William A. Ward, Jr. ; David D. Langan
Reliability and Performability Modeling Using SHARPE 2000 / C. Hirel ; R. Sahner ; X. Zang ; K. Trivedi
The Simalytic Modeling Technique: Overview for Application Performance Analysis / Tim R. Norton
SPNP: Stochastic Petri Nets. Version 6.0 / Christophe Hirel
SREPT: Software Reliability Estimation and Prediction Tool / Srinivasan Ramani
STEADY - A Tool for Predicting Performance of Parallel DBMSs / Euan W. Dempster ; M. Howard Williams ; Neven T. Tomov ; Chai Seng Pua ; Albert Burger ; Peter J. B. King
The TANGRAM-II Environment
Implementing Symbolic Models for Value Passing in Two Towers / Marco Bernardo
Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway / Adrian E. Conway
?Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design / J. Jenny Li ; J. Robert Horgan
Author Index
Invited Paper
Performance Evaluation with Heavy Tailed Distributions / Mark E. Crovella
Searching for a Solution to Program Verification=Equation Solving in CCS / Raúl Monroy ; Alan Bundy ; Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning / Mauricio Osorio ; Juan Carlos Nieves ; Fernando Zacarias ; Erika Saucedo
Experiments on Information Retrieval Using Case-Based Reasoning / Carlos Ramirez
A Probabilistic Exemplar-Based Model for Case-Based Reasoning / Andrés F. Rodríguez ; Sunil Vadera ; L. Enrique Sucar
Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective / Ricardo P. Beausoleil
A Methodology to Parallel the Temperature Cycle in Simulated Annealing / Héctor Sanvicente Sánchez ; Juan Frausto Solís
Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm / Joaquín Pérez ; Rodolfo Pazos ; Juan Frausto ; David Romero ; Laura Cruz
A Practical Approach for Logic Program Analysis and Transformation / Wamberto Weber-Vasconcelos ; Eudenia Xavier Meneses
Experiments in Answer Sets Planning / M. Balduccini ; G. Brignoli ; G.A. Lanzarone ; F. Magni ; A. Provetti
Robotics and Computer Vision
Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment / F. Curatelli ; O. Mayora-Ibarra
Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems / Homero V. Ríos ; Ana Luisa Solís ; Emilio Aguirre ; Lourdes Guerrero ; Joaquín Peña ; Alberto Santamaría
Detection and Tracking of Facial Features in Video Sequences / Rogério Schmidt Feris ; Teófilo Emídio de Campos ; Roberto Marcondes Cesar Junior
An Application of Behavior-Based Architecture for Mobile Robots Design / Sergio Uribe-Gutierrez ; Horacio Martinez-Alfaro
Cooperative Simulated Annealing for Path Planning in Multi-robot Systems / Gildardo Sánchez-Ante ; Fernando Ramos
Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors / Leonardo Romero ; Eduardo Morales ; Enrique Sucar
Evolving Insect Locomotion Using Cooperative Genetic Programming / Edgar E. Vallejo
On the Minimal Cooperative Attitude in Multi-robotics Systems / Giovani Gómez
Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition
A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC / Raúl Leal Ascencio ; Marco Pérez Cisneros
Machine Learning
A New Approach for the Solution of Multiple Objective Optimization Problems Based on Reinforcement Learning / Carlos Mariano
Automatic Extraction of Logic Program Transformations from Examples / Marcelo A.T. Aragão
Modifications to the Credit Apportionment Mechanism of a Simple Classifier System / Carlos Zozaya-Gorostiza ; David R. Orellana-Moyao
A Framework for Interleaving Planning-while-Learning and Execution / Marcello Balduccini
Integrated Reinforcement and Evolutionary Learning Algorithm: Application to Alife in a Shared World / Jianjun Yan ; Naoyuki Tokuda ; Juichi Miyamichi
RuLess: A Method for the Acquisition and Simplification of Rules / Pablo R. de Buen Rodriguez ; Eduardo F. Morales
Applying Reinforcement Learning to Improve MCOE, an Intelligent Learning Environment for Ecology / Daniel Antonio Callegari ; Flávio Moreira de Oliveira
Rapid Fine-Tuning of Computationally Intensive Classifiers / Stefan Zemke
Qualitative Knowledge Acquisition for Learning Organizations / Rafael E. Bourguet ; Rogelio Soto
Applying One-Sided Selection to Unbalanced Datasets / Gustavo E.A.P.A. Batista ; Andre C.P.L.F. Carvalho ; Maria Carolina Monard
Neural Networks
NSL/ASL: Distributed Simulation of Modular Neural Networks / Alfredo Weitzenfeld ; Oscar Peguero ; Sebastián Gutiérrez
Dynamical Behavior of an Electronic Neuron of Commutation / A. Padrón ; J. L. Pérez ; A. Herrera ; R. Prieto
Training Neural Networks Using Non-standard Norms - Preliminary Results / Angel Kuri Morales
Extending the Prediction Horizon in Dynamic Bandwidth Allocation for VBR Video Transport / Armando García-Rodríguez ; Ramón M. Rodríguez-Dagnino ; Christos Douligeris
Constructing a Query Facility for RBS Networks / Marijke F. Augusteijn ; Kelly Shaw
A Procedure to Select the Vigilance Threshold for the ART2 for Supervised and Unsupervised Training / P. Rayón Villela ; J. H. Sossa Azuela
Investigation of the One-Armed Bandit by Neural Network / Frank C. Lin ; Xiaojiang Ju
Knowledge-Based Systems
Knowledge Base System for Diagnostic Assessment of Doppler Spectrogram / B. Das ; S.K. Mitra ; S. Banerjee
Using Randomized Algorithms for Digital Mock-Up in Automotive Industry / Benedikt Bietzker ; Oliver Karch ; Hartmut Noltemeier
Risks Inside-Out / Osvaldo Cairó ; Julio Barreiro ; Francisco Solsona
A Specificic Domain Translator Application in a Floristic Digital Library / Dulcinea Navarrete ; Rogelio Dávila ; Alfredo Sánchez
A Cooperative, Deductive and Self-Adaptive Web Authoring Environment / Dominique Decouchant ; Ana María Martínez-Enríquez
Definition of a General Conceptualization Method for the Expert Knowledge / Almudena Sierra-Alonso
Segmenting the e-Commerce Market Using the Generative Topographic Mapping / A. Vellido ; P.J.G. Lisboa ; K. Meehan
Speech Recognition and Natural Language
Designing a Fast Neuro-fuzzy System for Speech Noise Cancellation / Anna Esposito ; Eugène C. Ezin ; Carlos A. Reyes-García
Verification of Correct Pronunciation of Mexican Spanish Using Speech Technology / Ingrid Kirschning ; Nancy Aguas
Explaining Abstract Data Types with Sentential and Diagrammatic Elements / Agustin A. Araya ; Jessica H. Chu
Dialogue Structure Influence Over Anaphora Resolution / Patricio Martínez-Barco ; Manuel Palomar
Processing of Spanish Definite Descriptions / Rafael Muñoz ; Antonio Ferrández
Syntatic-Conceptual Analysis of Sentences in Spanish Using a Restricted Lexicon for Disambiguation / Miguel Angel Ibarra Rivera ; Jesús Favela Vara ; Aurelio López-López
Comparison of Conceptual Graphs / Manuel Montes-y-Gómez ; Alexander Gelbukh
Multiagent Systems
Interaction of Purposeful Agents that Use Different Ontologies / Adolfo Guzmán ; Jesús Olivares ; Araceli Demetrio ; Carmen Domínguez
A New Generation of International Databases: A Multi-agent Inspired Approach to Integrate Different Theory-Driven Databases on Conflict Warning / Monica Lagazio ; Evan Govender
Intelligent Interface Agents Behavior Modeling / Jorge J. Gómez-Sanz ; Juan Pavón ; Francisco Garijo
Memory Based Reasoning and Agents Adaptive Behavior / Ana S. Aguera ; Alejandro Guerra ; Manuel Martínez
A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent / Pedro Pablo González Pérez ; José Negrete Martínez ; Ariel Barreiro García ; Carlos Gershenson García
Action Selection Properties in a Software Simulated Agent
MultiAgent Planning: A Resource Based Approach / José Juan Palacios Pérez
Reasoning Under Uncertainty
Dynamic Fuzzy Logic / José Luis Pérez-Silva ; Felipe Lara-Rosano
Generation of a Personal Qualitative Assessment Instrument Using a Fuzzy Expert System / A. M. Martínez-Enríquez ; O. R. Sereno-Peñaloza
Probabilistic Model-Based Diagnosis / Pablo H. Ibargüengoytia
Instance Metrics Improvement by Probabilistic Support / Héctor Jiménez ; Guillermo Morales
EDAS - Event-Disturbance Analysis System for Fossil Power Plants Operation / G. Arroyo-Figueroa
Intelligent Tutoring Systems
A Complete Teamwork Model in a Dynamic Environment / M. Goyal ; N. Parameswaran
Towards a Personalized Web-Based Educational System / J. G. Boticario ; E. Gaudioso
CASSIEL: Modeling Intelligent Agents for a Lifelong Learning Environment / Gerardo Ayala ; Arlette Hernández
Author Index
Knowledge Representation and Reasoning
Searching for a Solution to Program Verification=Equation Solving in CCS / Raúl Monroy ; Alan Bundy ; Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning / Mauricio Osorio ; Juan Carlos Nieves ; Fernando Zacarias ; Erika Saucedo