Informatik, EDV (110 Artikel)

Summer School on Biometrics, Alghero, Italy, June 2-6, 2003. Revised Selected Lectures and Papers

SBIA, the Brazilian Symposium on Arti?cial Intelligence, is a biennial event intended to be the main forum of the AI community in Brazil. The SBIA 2004 was the 17th issue of the series initiated in...

Keynote Papers.- Counting by Coin Tossings.- On the Role Definitions in and Beyond Cryptography.- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments.- Contrib...

These are the proceedings of the 24th Annual IACR Eurocrypt Conference. The conference was sponsored by the International Association for Cryptologic Research(IACR;see Science Department of the Uni...

The Industrial Conference on Data Mining ICDM-Leipzig was the fourth meeting in a series of annual events which started in 2000, organized by the Institute of Computer Vision and Applied Computer S...

This volume contains the proceedings of the 3rd International Conference on AdvancesinInformationSystems(ADVIS)heldinIzmir,Turkey,20-22October, 2004. This was the third conference dedicated to the ...

Adaptive Selection of Base Classifiers in One-Against-All Learning for Large Multi-labeled Collections.- Automatic Acquisition of Transfer Rules from Translation Examples.- Automatic Assessment of ...

Invited Talks.- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.- Labels from Reductions: Towards a General Theory.- Adequacy for Algebraic Effects with State.- Cont...

This volume contains the 14 contributed papers and the contribution of the distinguished invited speaker B´ ela Bollob´ as presented at the 3rd Workshop on Algorithms and Models for the Web-Graph (...

The focus of the Asian Applied Computing Conference (AACC) is primarily to bring the research in computer science closer to practical applications. The conference is aimed primarily at topics that ...

Contributed Talks of APPROX.- The Network as a Storage Device: Dynamic Routing with Bounded Buffers.- Rounding Two and Three Dimensional Solutions of the SDP Relaxation of MAX CUT.- What Would Edmo...

Architecting Dependable Systems II

Agent-Based Methods in Finance, Game Theory and Their Applications

Keynote Speech.- Games for Formal Design and Verification of Reactive Systems.- Evolution of Model Checking into the EDA Industry.- Abstraction Refinement.- Invited Speech.- Tools for Automated Ver...

Kann man Software automatisch erzeugen? Kann man kostenintensive manuelle Tätigkeiten während Entwurfs- und Implementierungsphasen automatisieren? Diese und ähnliche Fragestellungen führten zum vor...