Informatik (15 757 Artikel)

Invited Lecture.- Matchings in Graphs Variations of the Problem.- Combinatorics from Bacterial Genomes.- Contributed Papers.- An Algorithm for Computing Virtual Cut Points in Finite Metric Spaces.-...

Invited Talks (Abstracts).- State Abstraction in Real-Time Heuristic Search.- Abstraction and Reformulation in the Generation of Constraint Models.- A Framework for Integrating Optimization and Con...

Invited Talk.- Erlang - Software for a Concurrent World.- Types.- Gradual Typing for Objects.- Generic Universe Types.- Declarative Object Identity Using Relation Types.- Runtime Implementation.- O...

Session 1. Invited Talk: Colin Stirling.- Games, Automata and Matching.- Session 2. Higher-Order Logic.- Formalization of Continuous Probability Distributions.- Compilation as Rewriting in Higher O...

This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), which was held in Como (Italy) in July 2007. The conference is the ?agship event of the c...

Agent-Based Systems.- A Human-Machine Cooperative Approach for Time Series Data Interpretation.- MRF Agent Based Segmentation: Application to MRI Brain Scans.- R-CAST-MED: Applying Intelligent Agen...

Web Security.- Extensible Web Browser Security.- On the Effectiveness of Techniques to Detect Phishing Sites.- Protecting the Intranet Against "JavaScript Malware" and Related Attacks.- Intrusion D...

Processing Techniques in Sensor Networks

This volume contains the proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), which is an annual event that, for the ?rst time, was hosted in the UK. Conceptual st...

Aggregation Functions: A Guide for Practitioners

Invited Papers.- An Overview of Fuzzy Relational Calculus and Its Applications.- Golden Quadruplet: Optimization - Inequality - Identity - Operator.- Algorithms for String Pattern Discovery.- Votin...

Selected Articles.- Automating Molecular Docking with Explicit Receptor Flexibility Using Scientific Workflows.- Gene Set Enrichment Analysis Using Non-parametric Scores.- Comparison of Simple Enco...

To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of discovering bugs. Th...

Tutorial.- Hybrid Algorithms in Constraint Programming.- Technical Papers.- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.- A Constraint Model for State Transitions in Di...

The inherent dangers of change are often summed up in the misquoted Chinese curse "May you live in interesting times." The submission procedure for the 16th International Conference of Inductive Lo...