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
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
Markov Localization for Reliable Robot Navigation and People Detection / Dieter Fox ; Wolfram Burgard ; Sebastian Thrun
Relocalisation by Partial Map Matching / Wolfgang D. Rencken ; Wendlin Feiten ; Raoul Zollner
Localization and On-Line Map Building for an Autonomous Mobile Robot / Ewald von Puttkamer ; Gerhard Weiss ; Thomas Edlinger
Interactive Learning of World Model Information for a Service Robot / Steen Kristensen ; Volker Hansen ; Sven Horstmann ; Jesko Klandt ; Konstantin Kondak ; Frieder Lohnert ; Andreas Stopp
MAid: A Robotic Wheelchair Operating in Public Environments / Erwin Prassler ; Jens Scholz ; Matthias Strobel ; Paolo Fiorini
Interactive Robot Programming Based on Human Demonstration and Advice / Holger Friedrich ; Rudiger Dillmann ; Oliver Rogalla
Towards Smarter Cars / Karin Sobottka ; Esther Meier ; Frank Ade ; Horst Bunke
Active Control of Resolution for Stable Visual Tracking / Nicola Ferrier
Near-Optimal Sensor-Based Navigation in an Environment Cluttered with Simple Shapes / Hiroshi Noborio ; Kenji Urakawa
Realistic Environment Models and Their Impact on the Exact Solution of the Motion Planning Problem / A. Frank van der Stappen
Robot Localization Using Polygon Distances / Oliver Karch ; Hartmut Noltemeier ; Thomas Wahl
On-Line Searching in Simple Polygons / Sven Schuierer
Distributed Algorithms for Carrying a Ladder by Omnidirectional Robots in Near Optimal Time / Yuichi Asahiro ; Hajime Asama ; Satoshi Fujita ; Ichiro Suzuki ; Masafumi Yamashita
Modeling and Stability Analysis of the Dynamic Behavior in Load Sharing Systems / Paul Levi ; Michael Schanz ; Viktor Avrutin ; Robert Lammert
Recent Advances in Range Image Segmentation / Xiaoyi Jiang
ISR: An Intelligent Service Robot / Magnus Andersson ; Anders Oreback ; Matthias Lindstrom ; Henrik I. Christensen
Vision-Based Behavior Control of Autonomous Systems by Fuzzy Reasoning / Wei Li ; Friedrich M. Wahl ; Jiangzhong Z. Zhou ; Hong Wang ; Kezhong Z. He
Author Index
Markov Localization for Reliable Robot Navigation and People Detection / Dieter Fox ; Wolfram Burgard ; Sebastian Thrun
Relocalisation by Partial Map Matching / Wolfgang D. Rencken ; Wendlin Feiten ; Raoul Zollner
Localization and On-Line Map Building for an Autonomous Mobile Robot / Ewald von Puttkamer ; Gerhard Weiss ; Thomas Edlinger
Design Probes for Handheld and Ubiquitous Computing / H. Thimbleby
Maintaining Context and Control in a Digital World / S.P. Stenton
Everywhere Messaging / C. Schmandt
Mobile, Ubiquitous and the Sense of Space / M. Susani
Handheld and Wearable Appliances
The Children's Machines: Handheld and Wearable Computers Too / B. Mikhak ; F. Martin ; M. Resnick ; R. Berg ; B. Silverman
Pocket BargainFinder: A Handheld Device for Augmented Commerce / A.B. Brody ; E.J. Gottsman
Location-Based Services
Scalable and Flexible Location-Based Services for Ubiquitous Information Access / R. José ; N. Davies
Enabling Context-Awareness from Network-Level Location Tracking / P. Couderc ; A.-M. Kermarrec
Smart Devices and Smart Environments
Perceptual Intelligence / A. Pentland
Advanced Interaction in Context / A. Schmidt ; K.A. Aidoo ; A. Takaluoma ; U. Tuomela ; K. Van Laerhoven ; W. Van de Velde
Exploring Brick-Based Navigation and Composition in an Augmented Reality / M. Fjeld ; F. Voorhorst ; M. Bichsel ; K. Lauche ; M. Rauterberg ; H. Krueger
Handhelds in Distributed Systems
Handheld Computing Predictions: What Went Wrong ? / J.P. Allen
The Open-End Argument for Private Computing / T. Stabell-Kulø ; F. Dillema ; T. Fallmyr
Integrating PDAs into Distributed Systems: 2K and PalmORB / M. Román ; A. Singhai ; D. Carvalho ; C. Hess ; R.H. Campbell
Designing Information Appliances Using a Resource Replication Model / M.J. Silva ; A.P. Afonso
Handheld and Wearable CSCW
Active Map: A Visualization Tool for Location Awareness to Support Informal Interactions / J.F. McCarthy ; E.S. Meidel
Close Encounters: Supporting Mobile Collaboration through Interchange of User Profiles / G. Kortuem ; Z. Segall ; T. G Cowan Thompson
A Digital Photography Framework Supporting Social Interaction and Affective Awareness / O. Liechti ; T. Ichikawa
Context-Aware Mobile Applications
The Role of Connectivity in Supporting Context-Sensitive Applications / K. Cheverst ; K. Mitchell ; A. Friday
Issues in Developing Context-Aware Computing / J. Pascoe ; N. Ryan ; D. Morse
RAMSES: A Mobile Computing System for Field Archaeology / M. Ancona ; G. Dodero ; V. Gianuzzi
Interacting with Environments
Token-Based Access to Digital Information / L.E. Holmquist ; J. Redström ; P. Ljungstrand
InfoStick: An Interaction Device for Inter-appliance Computing / N. Kohtake ; J. Rekimoto ; Y. Anzai
Using Spatial Co-location for Coordination in Ubiquitous Computing Environments / M. Beigl
Amplifying Reality / J. Falk ; S. Björk
Interacting with Handholds
Designing Interaction Styles for a Mobile Use Context / S. Kristoffersen ; F. Ljungberg
POBox: An Efficient Text Input Method for Handheld and Ubiquitous Computing / T. Masui
Panels
Middleware for Ubiquitous Computing / R.J. Aiken ; A. Abramski ; J. Bates ; T. Blackadar
Towards a Better Understanding of Context and Context-Awareness / G.D. Abowd ; A.K. Dey ; P.J. Brown ; M. Smith ; P. Steggles
Posters
The MediaCup: Awareness Technology Embedded in an Everyday Object / H.-W. Gellersen ; H. Krull
Point & Click - Interaction in Smart Environments
Wearable Information Appliances for the Emergency Services: HotHelmet / C. Baber ; D.J. Haniff ; R. Buckley
Using Wearable Computer as an Audiovisual Memory Prosthesis / J. Hoisko
Today's Stories / M. Panayi ; D. Roy ; O. Cakmakci ; K. De Paepe ; N.O. Bernsen
On the Self Evaluation of a Wearable Assistant
On Positioning for Augmented Reality Systems / S. Persa ; P. Jonker
Hippie: A Nomadic Information System / R. Oppermann ; M. Specht ; I. Jaceniak
A Rapidly Configurable Location-Aware Information System for an Exterior Environment / R.P. O'Rafferty ; M.J. O'Grady ; G.M.P. O'Hare
Mobile Computing in Machine Engineering Applications / M. Brachtl ; L. Mikšíček ; P. Slavík
Chameleon - Reconfigurability in Hand-held Multimedia Computers / G.J.M. Smit ; T. Bos ; P.J.M. Havinga ; S. Mullender ; J. Smit
An Evaluation of WebTwig - A Site Outliner for Handheld Web Access / M. Jones ; G. Buchanan ; N. Mohd-Nasir
Human Factors of Multi-modal Ubiquitous Computing / W. Edmondson
URCP: Experimental Support for Multi-modal Interfaces / A. Donnelly ; E. Barnstedt
Magic Medicine Cabinet: A Situated Portal for Consumer Healthcare / D. Wan
Augmented Workspace: The World as Your Desktop / K.L. Dempski
The ChatterBox / P. Jaksetic
Pollen: Virtual Networks That Use People as Carriers / N. Glance ; D. Snowdon
VoIP in Context-Aware Communication Spaces / T. Kanter ; H. Gustafsson
A Platform for Environment-Aware Applications / S. van der Meer ; S. Arbanowski ; R. Popescu-Zeletin
The Design and Implementation of the Ubidata Information Dissemination Framework / J.P. Campos ; F.S. Regateiro
Co-authoring in Dynamic Teams with Mobile Individuals / C. Burger ; O. Schramm
A Universal, Location-Aware Hoarding Mechanism / U. Kubach ; K. Rothermel
QoS and Context Awareness for Mobile Computing / D. Chalmers ; M. Sloman
Anonymous and Confidential Communications from an IP Addressless Computer / C. Molina-Jiménez ; L. Marshall
Ad-hoc Network Routing for Centralized Information Sharing Systems / H. Lim ; C. Kim
Author Index
Invited Keynotes
Design Probes for Handheld and Ubiquitous Computing / H. Thimbleby
Maintaining Context and Control in a Digital World / S.P. Stenton
Advances in Predictive Data Mining Methods / S.J. Hong ; S.M. Weiss
Neural Networks Applied to Image Processing and Recognition
Multi-valued and Universal Binary Neurons: Learning Algorithms, Application to Image Processing and Recognition / I. N. Aizenberg ; N. N. Aizenberg ; G.A. Krivosheev
A Dynamics of the Hough Transform and Artificial Neural Networks / A. Imiya ; K. Kawamoto
Applications of Cellular Neural Networks for Shape from Shading Problem / M. Milanova ; P. E. M. Almeida ; J. Okamoto ; M. G. Simoes
Learning in Image Pre-Processing and Segmentation
Unsupervised Learning of Local Mean Grey Values for Image Pre-Processing / H. Jahn
Neural Networks in MR Image Estimation from Sparsely Sampled Scans / M. Reczko ; D.A. Karras ; V. Mertzios ; D. Graveron-Demilly ; D. van Ormondt
Extraction of Local Structural Features in Images by Using a Multi-scale Relevance Function / R. M. Palenichka ; M. A. Volgin
Image Retrieval
Independent Feature Analysis for Image Retrieval / J. Peng ; B. Bhanu
Non-hierarchical Clustering with Rival Penalized Competitive Learning for Information Retrieval / I. King ; T.-K. Lau
Classification and Image Interpretation
Automatic Design of Multiple Classifier Systems by Unsupervised Learning / G. Giacinto ; F. Roli
A Comparison between Neural Networks and Decision Trees / C. Jacobsen ; U. Zscherpel ; P. Perner
Symbolic Learning and Neural Networks in Document Processing
Symbolic Learning Techniques in Paper Document Processing / O. Altamura ; F. Esposito ; F. A. Lisi ; D. Malerba
Recognition of Printed Music Score / T. Beran ; T. Macek
Data Mining
Reproductive Process-Oriented Data Mining From Interactions between Human and Complex ArtifactSystem / T. Sawaragi
Generalized Fuzzy Aggregation Operators / K. R. Sasikala
A Data Mining Application for Monitoring Environmental Risks / A. Scaringella
Author Index
Invited Papers
Learning in Pattern Recognition / M. Petrou
Advances in Predictive Data Mining Methods / S.J. Hong ; S.M. Weiss
Modulus Search for Elliptic Curve Cryptosystems / K. Koyama ; Y. Tsuruoka ; N. Kunihiro
Asymmetric Key Cryptosystems
On the Lai-Massey Scheme / S. Vaudenay
On Cryptographically Secure Vectorial Boolean Functions / T. Satoh ; T. Iwata ; K. Kurosawa
Analysis
Equivalent Keys of HPC / C. D'Halluin ; G. Bijnens ; B. Preneel ; V. Rijmen
Cryptanalysis of Five Rounds of CRYPTON Using Impossible Differentials / H. Seki ; T. Kaneko
Cryptanalysis of Two Cryptosystems Based on Group Actions / S. R. Blackburn ; S. D. Galbraith
Probabilistic Higher Order Differential Attack and Higher Order Bent Functions
Elliptic Curve Cryptosystems
Fast Algorithms for Elliptic Curve Cryptosystems over Binary Finite Field / Y. F. Han ; P.-C. Leong ; P.-C. Tan ; J. Zhang
Optimizing the Menezes-Okamoto-Vanstone (MOV) Algorithm for Non-supersingular Elliptic Curves / J. Shikata ; Y. Zheng ; J. Suzuki ; H. Imai
Speeding up the Discrete Log Computation on Curves with Automorphisms / I. Duursma ; P. Gaudry ; F. Morain
ECC: Do We Need to Count? / J.-S. Coron ; H. Handschuh ; D. Naccache
Elliptic Scalar Multiplication Using Point Halving / E. W. Knudsen
Public Key Cryptosystems
On the Design of RSA with Short Secret Exponent / H.-M. Sun ; W.-C. Yang ; C.-S. Laih
Efficient Public-Key Cryptosystems Provably Secure Against Active Adversaries / P. Paillier ; D. Pointcheval
Adaptively-Secure Optimal-Resilience Proactive RSA / Y. Frankel ; P. MacKenzie ; M. Yung
Integers and Computation
Factorization of RSA-140 Using the Number Field Sieve / S. Cavallar ; B. Dodson ; A. Lenstra ; P. Leyland ; W. Lioen ; P. L. Montgomery ; B. Murphy ; H. te Riele ; P. Zimmermann
How to Prove that a Committed Number Is Prime / T. V. Le ; K. Q. Nguyen ; V. Varadharajan
Reducing Logarithms in Totally Non-maximal Imaginary Quadratic Orders to Logarithms in Finite Fields / D. Huhnlein ; T. Takagi
General Adversaries in Unconditional Multi-party Computation / M. Fitzi ; M. Hirt ; U. Maurer
Network Security
Approximation Hardness and Secure Communication in Broadcast Channels / Y. Desmedt ; Y. Wang
Mix-Networks on Permutation Networks / M. Abe
Secure Communication in an Unknown Network Using Certificates / M. Burmester
Random Number
Linear Complexity versus Pseudorandomness: On Beth and Dai's Result
A Class of Explicit Perfect Multi-sequences / C. P. Xing ; K. Y. Lam ; Z. H. Wei
Cryptanalysis of LFSR-Encrypted Codes with Unknown Combining Function / S. Palit ; B. K. Roy
Key Management
Doing More with Fewer Bits / A. E. Brouwer ; R. Pellikaan ; E. R. Verheul
A Quick Group Key Distribution Scheme with "Entity Revocation" / J. Anzai ; N. Matsuzaki ; T. Matsumoto
An Efficient Hierachical Identity-Based Key-Sharing Method Resistant Against Collusion-Attacks / G. Hanaoka ; T. Nishioka
Periodical Multi-secret Threshold Cryptosystems / M. Numao
Authentication
A Signature Scheme with Message Recovery as Secure as Discrete Logarithm / T. Okamoto
Broadcast Authentication in Group Communication / Y. J. Wang ; R. Safavi-Naini ; H. X. Wang
Author Index
Invited Talk
Modulus Search for Elliptic Curve Cryptosystems / K. Koyama ; Y. Tsuruoka ; N. Kunihiro
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
Compiler Construction Using LOTOS NT / Hubert Garavel ; Frédéric Lang ; Radu Mateescu
Analysis and Optimization
Data Compression Transformations for Dynamically Allocated Data Structures / Youtao Zhang ; Rajiv Gupta
Evaluating a Demand Driven Technique for Call Graph Construction / Gagan Agrawal ; Jinqian Li ; Qi Su
A Graph-Free Approach to Data-Flow Analysis / Markus Mohnen
A Representation for Bit Section Based Analysis and Optimization / Eduard Mehofer
A Comprehensive Approach to Array Bounds Check Elimination for Java / Feng Qian ; Clark Verbrugge
Author Index
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
Using Markov Chains for Link Prediction in Adaptive Web Sites / Jianhan Zhu ; Jun Hong ; John G. HughesTechnical Session 2:
Classification of Customer Call Data in the Presence of Concept Drift and Noise / Michaela Black ; Ray Hickey
A Learning System for Decision Support in Telecommunications / Filip Äelezný ; Jiří Zídgek ; Olga ètepánkova
Adaptive User Modelling in an Intelligent Telephone Assistant / Trevor P. Martin ; Benham Azvine
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning / Rolf HaenniTechnical Session 3:
Proof Length as an Uncertainty Factor in ILP / Gilles Richard ; Fatima Zohra Kettaf
Paraconsistency in Object-Oriented Databases / Rajiv Bagai ; Shellene J. Kelley
Decision Support with Imprecise Data for Consumers / Gergely Lukács
Genetic Programming: A Parallel Approach / Wolfgang Golubski
Software Uncertainty / Manny M. Lehman ; J.F. Ramil
Technical Session 4
Temporal Probabilistic Concepts from Heterogeneous Data Sequences / Sally McClean ; Bryan Scotney ; Fiona Palmer
Handling Uncertainty in a Medical Study of Dietary Intake during Pregnancy / Adele Marshall ; David Bell
Sequential Diagnosis in the Independence Bayesian Framework / David McSherry
Static Field Approach for Pattern Classification / Dymitr Ruta ; Bogdan Gabrys
Inferring Knowledge from Frequent Patterns / Marzena Kryszkiewicz
Anytime Possibilistic Propagation Algorithm / Nahla Ben Amor ; Salem Benferhat ; Khaled Mellouli
Technical Session 5
Macro Analysis of Techniques to Deal with Uncertainty in Information Systems Development: Mapping Representational Framing Influences / Carl Adams ; David E. Avison
The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities / Isabel Ramos ; Daniel M. Berry ; João Á. Carvalho
Managing Evolving Requirements Using eXtreme Programming / Jim Tomayko
Text Summarization in Data Mining / Colleen E. Crangle
Invited Speakers
Industrial Applications of Intelligent Systems at BTexact
Intelligent Control of Wireless and Fixed Telecom Networks / John Bigham
Assertions in Programming: From Scientific Theory to Engineering Practice / Tony Hoare
Hybrid Soft Computing for Classification and Prediction Applications / Piero Bonissone
Why Users Cannot `Get What They Want' / Ray Paul
Systems Design with the Reverend Bayes / Derek McAuley
Formalism and Informality in Software Development / Michael Jackson
Industrial Panel
An Industrial Perspective on Soft Issues: Successes, Opportunities, and Challenges
Author Index
Overview of Fuzzy-RED in Diff-Serv Networks / L. Rossides ; C. Chrysostomou ; A. Pitsillides ; A. SekerciogluTechnical Session 1:
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation / David Chieng ; Ivan Ho ; Alan Marshall ; Gerard Parr
Facing Fault Management as It Is, Aiming for What You Would Like It to Be / Roy Sterritt