You have Guest access.
Log In
Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat and Mária Bieliková
Front matter
1-4
Quantum Random Walks – New Method for Designing Quantum Algorithms
5-22
Social Information Access: The Other Side of the Social Web
23-33
Designing Adaptive Web Applications
34-49
Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa
50-65
On the Hardness of Reoptimization
66-73
Describing Self-assembly of Nanostructures
74-82
On the Undecidability of the Tiling Problem
83-97
Remote Entrusting by Run-Time Software Authentication
98-117
Trusted Computing — Special Aspects and Challenges
118-123
Optimizing Winning Strategies in Regular Infinite Games
124-135
Recursive Domain Equations of Filter Models
136-147
Algorithmic Problems for Metrics on Permutation Groups
148-161
Periodic and Infinite Traces in Matrix Semigroups
162-173
From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
174-185
Exact OBDD Bounds for Some Fundamental Functions (Extended Abstract)
186-197
Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers
198-210
A Useful Bounded Resource Functional Language
211-221
On Reachability Games of Ordinal Length
222-233
An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points
234-246
The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring
247-258
How Much Information about the Future Is Needed?
259-270
On Compiling Structured Interactive Programs with Registers and Voices
271-279
Optimal Orientation On-Line
280-291
Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality
292-303
Assisted Problem Solving and Decompositions of Finite Automata
304-315
Energy-Efficient Windows Scheduling
316-327
A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns
328-339
Certification of Proving Termination of Term Rewriting by Matrix Interpretations
340-351
Extension of Rescheduling Based on Minimal Graph Cut
352-363
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
364-375
Computing Longest Common Substring and All Palindromes from Compressed Strings
376-387
Basic Sets in the Digital Plane
388-399
Algebraic Optimization of Relational Queries with Various Kinds of Preferences
400-405
Mortality Problem for 2×2 Integer Matrices
406-417
Element Distinctness and Sorting on One-Tape Off-Line Turing Machines
418-423
Improved Bounds for Range Mode and Range Median Queries
424-435
An Automata Theoretic Approach to Rational Tree Relations
436-447
Slicing Petri Nets with an Application to Workflow Verification
448-459
Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata
460-472
Verifying Parameterized taDOM+ Lock Managers
473-484
Untangling a Planar Graph
485-496
Quantum Walks with Multiple or Moving Marked Locations
497-505
Parallel Immune System for Graph Coloring
506-518
The Quantum Complexity of Group Testing
519-530
Quantum Walks: A Markovian Perspective
531-540
A Memetic Algorithm for Global Induction of Decision Trees
541-550
Geometric Rates of Approximation by Neural Networks
551-559
A Sensitive Metaheuristic for Solving a Large Optimization Problem
560-571
Domain Name System as a Memory and Communication Medium
572-584
Strong Authentication over Lock-Keeper
585-598
Short Ballot Assumption and Threeballot Voting Protocol
599-609
Practical Deniable Encryption
610-621
Taming of Pict
622-633
Classification, Formalization and Verification of Security Functional Requirements
634-645
ONN the Use of Neural Networks for Data Privacy
646-658
Threshold Privacy Preserving Keyword Searches
659-671
3D_XML: A Three-Dimensional XML-Based Model
672-683
Visual Exploration of RDF Data
684-695
Creation, Population and Preprocessing of Experimental Data Sets for Evaluation of Applications for the Semantic Web
696-707
Algorithm for Intelligent Prediction of Requests in Business Systems
708-719
Mining Personal Social Features in the Community of Email Users
720-730
Proofs of Communication and Its Application for Fighting Spam
731-742
Web Pages Reordering and Clustering Based on Web Patterns
743-754
Compression of Concatenated Web Pages Using XBW
755-765
The Dynamic Web Presentations with a Generality Model on the News Domain
766-777
A Highly Efficient XML Compression Scheme for the Web
778-789
Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info