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