Informatik, EDV (135 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 ...

Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers

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 (...

This volume of the LNCS is the formal proceedings of the 2nd European Symposium on Ambient Intelligence, EUSAI 2004. This event was held on November 8-10, 2004 at the Eindhoven University of Techno...

Applications of Agent Technology in Traffic and Transportation

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...

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC 2008, held in Oslo, Norway, in June 2008, co-located with UIC 2008, the 5th...

The evolution of the Internet has led us to the new era of the information infrastructure. As the information systems operating on the Internet are getting larger and more complicated, it is clear ...

Face Recognition.- Face Recognition Based on Locally Salient ICA Information.- Pose Invariant Face Recognition Under Arbitrary Unknown Lighting Using Spherical Harmonics.- Biometric Face Authentica...

Mobile agents are a quite new and interesting paradigm for the implementation of distributed systems. As with most distributed systems, mobile agent applications are usually developed and installed...

This volume presents the proceedings of the 10th International Workshop on Combinatorial Image Analysis, held December 1-3, 2004, in Auckland, New Zealand. Prior meetings took place in Paris (Franc...

Sharper Upper and Lower Bounds for an Approximation Scheme for Consensus-Pattern.- On the Longest Common Rigid Subsequence Problem.- Text Indexing with Errors.- A New Compressed Suffix Tree Support...

The fourth campaign of the Cross-language Evaluation Forum (CLEF) for European languages was held from January to August 2003. Participation in this campaign showed a slight rise in the number of p...

The Logical Way to Be Artificially Intelligent.- The Logical Way to Be Artificially Intelligent.- Foundational Aspects of Agency.- Ability in a Multi-agent Context: A Model in the Situation Calculu...

Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and m...

Section 1 - Fundamentals of Cortical Dynamics.- Dynamics of Storage and Recall in Hippocampal Associative Memory Networks.- On the Nested Hierarchical Organization of CNS: Basic Characteristics of ...

The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, S...

The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, S...

APCHI 2004 was the sixth Asia-Paci?c Conference on Computer-Human Int- action, and was the ?rst APCHI to be held in New Zealand. This conference series provides opportunities for HCI researchers an...

Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, ...

Session 1: Mobile Code and Agent Technology.- Mobility Prediction-Based Wireless Resource Allocation and Reservation.- An Agent-Enabled Content-Explicit Authorization Model for OGSA-Compliant Grid....

CD1: Cooperative Design 1.- Development of a Cooperative Integration System for AEC Design.- Observing Architectural Design: Improving the Development of Collaborative Design Environments.- Visuali...

This volume comprises papers from the following ?ve workshops that were part of the complete program for the International Conference on Extending Database Technology (EDBT) held in Heraklion, Gree...

Windows-Programmierung lernen mit Visual Basic.Net

Das erste Buch, das den außergewöhnlichen Frauen, die die Entwicklung des Internets nachhaltig geprägt und die Digitalisierung vorangetrieben haben, ein Denkmal setzt. Die IT-Welt gilt als Männerdo...

Long Papers.- Predictive Graph Mining.- An Efficient Algorithm for Enumerating Closed Patterns in Transaction Databases.- Finding Optimal Pairs of Cooperative and Competing Patterns with Bounded Di...

The Synchronous Condition-Based Consensus Hierarchy.- Synchronous Condition-Based Consensus Adapting to Input-Vector Legality.- Group-Solvability.- The Notion of Veto Number and the Respective Powe...

Plenary Talk - I.- Taming the Dynamics of Disributed Data.- DISTRIBUTED COMPUTING.- Data in Your Space.- Enabling Technologies for Harnessing Information Explosion.- Fair Leader Election by Randomi...

First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings

Theshipshears onthrough billowing seas Carried on tempest's wings with ease A cry of joy goes up from fore and aft: "Our destination is within our grasp!" But the helmsman's words are lost in the t...

Statistik spielt in unserem sozialen, wirtschaftlichen Umfeld eine unbestreitbare Rolle. Die Basis der statistischen Aussagen sind Daten, deren Bearbeitung und Auswertung in der Regel mit teuren ko...

e-Democracy.- Interoperability.- Process Management.- Technical Issues.- e-Voting.- Services, Processes, General Assistance.- Empowering the Regions.- Methods and Tools.- G2G Collaboration.- Change...

Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, China, December 16-18, 2005. With the advent of VLSI system level integra...

Emergent Properties in Natural and Artificial Dynamical Systems

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a c...

The central themes of the 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2004) were ontological engineering and the Semantic Web. These provide the key founda...

Methodologies and Applications

Der Erfolg im Internet hängt von vielen Dingen ab. Dabei spielen sowohl technische als auch nicht-technische Faktoren eine große Rolle. Dieses Buch hilft Ihrem Erfolg auf die Sprünge. Ganz gleichgü...

The 9th International Symposium on Experimental Robotics

Results of the 5th International Conference

The 9th International Conference on Financial Cryptography and Data Security (FC 2005) was held in the Commonwealth of Dominica from February 28 to March 3, 2005. This conference, organized by the ...

This volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of adva...

Challenges in System-Level Design.- Generating Fast Multipliers Using Clever Circuits.- Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.- A Methodology for the Forma...

Aspect Orientation.- Generating AspectJ Programs with Meta-AspectJ.- Splice: Aspects That Analyze Programs.- A Generative Approach to Aspect-Oriented Programming.- Generic Advice: On the Combinatio...

Metadata play a fundamental role in both DLs and SDIs. Commonly defined as "structured data about data" or "data which describe attributes of a resource" or, more simply, "information about data", ...

Symbolic Equivalences for Open Systems.- Specifying and Verifying UML Activity Diagrams Via Graph Transformation.- Mobile UML Statecharts with Localities.- Communities: Concept-Based Querying for M...

Invited Papers.- Learning and Mathematics.- Learning Finite-State Models for Machine Translation.- The Omphalos Context-Free Grammar Learning Competition.- Regular Papers.- Mutually Compatible and ...

EU Funded Grid Development in Europe.- Pegasus: Mapping Scientific Workflows onto the Grid.- A Low-Cost Rescheduling Policy for Dependent Tasks on Grid Computing Systems.- An Advanced Architecture ...

Welcome to the proceedings of GCC2004 and the city of Wuhan. Grid computing has become a mainstream research area in computer science and the GCC conference has become one of the premier forums for...

Egal, ob für einen multinationalen Großkonzern oder eine kleine 2-Mann Firma, fast immer benötigen Sie professionelle Hilfe bei der Betreuung Ihrer Computeraktivitäten und Computerbenutzer, wenn di...

Keynote Addresses.- Rethinking Computer Architecture Research.- Event Servers for Crisis Management.- DIET: Building Problem Solving Environments for the Grid.- The Future Evolution of High-Perform...

Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germany

Leading-edge research groups in the field of scientific computing present their outstanding projects using the High Performance Computer in Bavaria (HLRB), Hitachi SR8000-F1, one of the top-level s...

Modelle zur Umsetzung und Prüfung

Management internationaler IT-Outsourcing-Projekte

Fortgeschrittene Angriffstechniken demonstriert an Beispielen für Windows, Linux und Mac OS X

Jeder kann heute am PC oder Mac beliebig viele Piktogramme und Icons "schreiben" - einfach indem er die entsprechenden Wörter eintippt. Diese neue Form von "Bilderschrift" basiert auf plattformüber...

Implementation of Functional Languages.- Lazy Assertions.- Interfacing Haskell with Object-Oriented Languages.- A Functional Shell That Dynamically Combines Compiled Code.- Polymorphic Type Reconst...

DE

Invited Talk.- All Sail, No Anchor III: Risk Aggregation and Time's Arrow.- Network Security.- Traversing Middleboxes with the Host Identity Protocol.- An Investigation of Unauthorised Use of Wirel...

On the Minimal Assumptions of Group Signature Schemes.- Perfect Concurrent Signature Schemes.- New Identity-Based Ring Signature Schemes.- On the Security of a Multi-party Certified Email Protocol....

The Seventh International Conference on Information and Communications - curity,ICICS2005,washeldinBeijing,China,10-13December2005. TheICICS conference series is an established forum for exchanging...

Das Buch befasst sich mit den oft behandelten Thesen der Aufhebung von sozialen, nationalen und kulturellen Grenzen durch das Internet anhand der überschaubaren Größe eines lokalen Ausschnittes. Es...

DE

Eine Einführung

Our understanding of innovation processes has dramatically changed over the past decades. Interactive models of innovation, differing significantly from the linear approach, now emphasize both the ...

The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2005)washeldinPrague,CzechRepublic,duringMay31-June1...

Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.- Integration of Software Specification Techniques for Applications in Enginee...

Techniques and Applications

The 7th International Conference on Information Technology (CIT 2004) was held in Hyderabad, India, during December 20-23, 2004. The CIT 2004 was a forum where researchers from various areas of inf...

Interactive Distributed Multimedia Systems (IDMS) and Protocols for Mul- media Systems (PROMS) have been two successful series of international events bringing together researchers, developers and ...

Invited Talks.- Automated Reasoning Tools for Molecular Biology.- ?mega: Computer Supported Mathematics.- An Overview of Planning Technology in Robotics.- SmartWeb: Mobile Applications of the Seman...

A Pen-and-Paper Notation for Teaching Biosciences.- An Exploration of Some Factors Affecting the Correlation of mRNA and Proteomic Data.- Improving Rule Induction Precision for Automated Annotation...

"We know more than we can tell and we can know nothing without relying upon those things which we may not be able to tell" (Michael Polanyi) The importance of knowledge management (KM) is increasin...

Natural Language is not only the most important means of communication between human beings, it is also used over historical periods for the pres- vation of cultural achievements and their transmis...

formation. The basic ideas underlying knowledge visualization and information vi- alization are outlined. In a short preview of the contributions of this volume, the idea behind each approach and i...

We were very pleased to once again extend to the delegates and, we are pleased to th say, our friends the warmest of welcomes to the 8 International Conference on Knowledge-Based Intelligent Inform...

We were very pleased to once again extend to the delegates and, we are pleased to th say, our friends the warmest of welcomes to the 8 International Conference on Knowledge-Based Intelligent Inform...

A Handbook on Modelling and Delivering Networked Education and Training

Die globalen Netze verändern unser Leben. Insbesondere Kommunikationsnetze wie das Internet bestimmen bereits weitgehend unseren Alltag. Die globale Wirtschaft ist ohne diese Netze heute funktionsu...

Lotus Notes Domino 7 - Systemadministration: Umstieg von Version 6.x bietet einen kompakten Überblick über die Servererweiterungen und die neuen Funktionen der Systemadministration. Alle wichtigen ...

We met again in front of the statue of Gottfried Wilhelm von Leibniz in the city of Leipzig. Leibniz, a famous son of Leipzig, planned automatic logical inference using symbolic computation, aimed ...

First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers

These conference proceedings include the specialized academic lecture and brief contributions presented at the Humans and Computers 2015 conference in Stuttgart. It provides multiple perspectives f...

Middleware systems compriseprogrammingmodels, abstractions,protocols,and services to facilitate the design, the development, the integration, and the - ployment of distributed applications in heter...

It is becoming quite clear that there will be important technological advances in - bile and wireless connectivity, known as third-/fourth-generation (3G and 4G) mobile telecommunications systems. ...

Advanced Lectures

tionship indicates how multimodal medical image processing can be unified to a large extent, e. g. multi-channel segmentation and image registration, and extend information theoretic registration t...