From Swarm Intelligence to Swarm Robotics -- Swarm Robotics: From Sources of Inspiration to Domains of Application -- Communication, Diversity and Learning: Cornerstones of Swarm Behavior -- The SWARM-BOTS Project -- Pheromone Robotics and the Logic of Virtual Pheromones -- Distributed Localization and Mapping with a Robotic Swarm -- The I-SWARM Project: Intelligent Small World Autonomous Robot…
Invited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems --…
Invited Papers -- Patterns for the Pragmatic Web -- Conceptual Graphs for Semantic Web Applications -- Knowledge Representation and Reasoning in (Controlled) Natural Language -- What Is a Concept? -- Applications of Description Logics: State of the Art and Research Challenges -- Methodologies for the Reliable Construction of Ontological Knowledge -- Using Formal Concept Analysis and Information…
Invited Talks -- Sub-linear Queries Statistical Databases: Privacy with Power -- Malicious Cryptography: Kleptographic Aspects -- Cryptanalysis -- Resistance of SNOW 2.0 Against Algebraic Attacks -- A Study of the Security of Unbalanced Oil and Vinegar Signature Schemes -- Hold Your Sessions: An Attack on Java Session-Id Generation -- Update on SHA-1 -- A Fast Correlation Attack on the Shrinkin…
Information Organization -- Automatic Word Clustering for Text Categorization Using Global Information -- Text Classification Using Web Corpora and EM Algorithms -- Applying CLIR Techniques to Event Tracking -- Document Clustering Using Linear Partitioning Hyperplanes and Reallocation -- Automatic Summarization -- Summary Generation Centered on Important Words -- Sentence Compression Learned by…
Invited Papers -- Lexicographic Breadth First Search – A Survey -- Wireless Networking: Graph Theory Unplugged -- Graph Algorithms: Trees -- Constant Time Generation of Trees with Specified Diameter -- Treelike Comparability Graphs: Characterization, Recognition, and Applications -- Elegant Distance Constrained Labelings of Trees -- Collective Tree Spanners and Routing in AT-free Related Grap…
Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed Computing -- A Sparse Distributed Memory Capable of Handling Small Cues, SDMSCue -- Towards a Realistic Performance Model for Networks of Heterogeneous Computers -- Extending Clustersim with MP And DSM Modules -- Rendering Complex Scenes on Clusters with Limited Precomputation -- Numerical Computati…
A Study of Non-smooth Convex Flow Decomposition -- Denoising Tensors via Lie Group Flows -- Nonlinear Inverse Scale Space Methods for Image Restoration -- Towards PDE-Based Image Compression -- Color Image Deblurring with Impulsive Noise -- Using an Oriented PDE to Repair Image Textures -- Image Cartoon-Texture Decomposition and Feature Selection Using the Total Variation Regularized L 1 Functi…
Invited Papers -- Using Genetic Algorithms to Evolve Behavior in Cellular Automata -- Quantum Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA Nanotechnology: Molecular Construction and Computation -- Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics -- Regular Papers -- On Self-assembly in Population P…
Talks -- An Algorithmic Chemistry for Genetic Programming -- Assessing the Effectiveness of Incorporating Knowledge in an Evolutionary Concept Learner -- Automated Re-invention of a Previously Patented Optical Lens System Using Genetic Programming -- Bayesian Automatic Programming -- Dynamic Size Populations in Distributed Genetic Programming -- Evolution of Robot Controller Using Cartesian Gen…