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
図書
