skip to content
SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings Preview this item
ClosePreview this item
Checking...

SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

Author: J van Leeuwen
Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010.
Series: Lecture notes in computer science, 5901.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the refereed proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, held in A pindleruv Mlun, Czech Republic, in January 2009.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
SOFSEM (Conference) (36th : 2010 : Špindlerův Mlýn, Czech Republic).
SOFSEM 2010.
Berlin ; New York : Springer, ©2010
(DLC) 2009941301
(OCoLC)610587554
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J van Leeuwen
ISBN: 9783642112669 3642112668
OCLC Number: 567359226
Notes: International conference proceedings.
Includes index.
Description: 1 online resource (xv, 780 pages).
Contents: Invited Talks --
Forcing Monotonicity in Parameterized Verification: From Multisets to Words --
Research Issues in the Automated Testing of Ajax Applications --
Essential Performance Drivers in Native XML DBMSs --
Continuous Processing of Preference Queries in Data Streams --
Clock Synchronization: Open Problems in Theory and Practice --
Regret Minimization and Job Scheduling --
Lessons in Software Evolution Learned by Listening to Smalltalk --
The Web of Things: Extending the Web into the Real World --
Web Science: The Digital-Heritage Case --
Model-Driven Software Product Line Testing: An Integrated Approach --
Taming the Complexity of Inductive Logic Programming --
Regular Papers --
A Rule Format for Unit Elements --
Approximability of Edge Matching Puzzles --
A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks --
R-Programs: A Framework for Distributing XML Structural Joins across Function Calls --
Fast Arc-Annotated Subsequence Matching in Linear Space --
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs --
A Kernel for Convex Recoloring of Weighted Forests --
Symbolic OBDD-Based Reachability Analysis Needs Exponential Space --
A Social Vision of Knowledge Representation and Reasoning --
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki --
On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances --
On a Labeled Vehicle Routing Problem --
Improved Matrix Interpretation --
Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays --
Query Optimization through Cached Queries for Object-Oriented Query Language SBQL --
Perfect Matching for Biconnected Cubic Graphs in O(n log2 n) Time --
Destructive Rule-Based Properties and First-Order Logic --
Learning User Preferences for 2CP-Regression for a Recommender System --
Parallel Randomized Load Balancing: A Lower Bound for a More General Model --
Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem --
Linear Complementarity Algorithms for Infinite Games --
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test --
Practically Applicable Formal Methods --
Fast and Compact Prefix Codes --
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes --
Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations --
Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph --
On the Complexity of the Highway Pricing Problem --
Accelerating Smart Play-Out --
Optimum Broadcasting in Complete Weighted-Vertex Graphs --
On Contracting Graphs to Fixed Pattern Graphs --
Dynamic Edit Distance Table under a General Weighted Cost Function --
How to Complete an Interactive Configuration Process? --
Design Patterns Instantiation Based on Semantics and Model Transformations --
A Complete Symbolic Bisimulation for Full Applied Pi Calculus --
OTwig: An Optimised Twig Pattern Matching Approach for XML Databases --
Picture Recognizability with Automata Based on Wang Tiles --
Unilateral Orientation of Mixed Graphs --
Maintaining XML Data Integrity in Programs --
Improving Classification Performance with Focus on the Complex Areas --
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions --
Source Code Rejuvenation Is Not Refactoring --
Empirical Evaluation of Strategies to Detect Logical Change Dependencies --
Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup --
An Amortized Search Tree Analysis for k-Leaf Spanning Tree --
Approximate Structural Consistency --
Comprehensive System for Systematic Case-Driven Software Reuse --
Comparison of Scoring and Order Approach in Description Logic --
Homophily of Neighborhood in Graph Relational Classifier --
Multilanguage Debugger Architecture --
Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining --
Finding and Certifying Loops --
Vertex Ranking with Capacity.
Series Title: Lecture notes in computer science, 5901.
Responsibility: Jan van Leeuwen [and others] (Eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/567359226> # SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "567359226" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/909117617#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/909117617#Place/heidelberg> ; # Heidelberg
    schema:about <http://experiment.worldcat.org/entity/work/data/909117617#Topic/computer_science> ; # Computer science
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/909117617#Topic/informatique> ; # Informatique
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/909117617#Person/leeuwen_j_van_jan> ; # Jan Leeuwen
    schema:copyrightYear "2010" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/909117617#Meeting/sofsem_conference_36th_2010_spindleruv_mlyn_czech_republic> ; # SOFSEM (Conference) (36th : 2010 : Špindlerův Mlýn, Czech Republic)
    schema:datePublished "2010" ;
    schema:description "Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format for Unit Elements -- Approximability of Edge Matching Puzzles -- A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs -- A Kernel for Convex Recoloring of Weighted Forests -- Symbolic OBDD-Based Reachability Analysis Needs Exponential Space -- A Social Vision of Knowledge Representation and Reasoning -- Flavors of KWQL, a Keyword Query Language for a Semantic Wiki -- On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances -- On a Labeled Vehicle Routing Problem -- Improved Matrix Interpretation -- Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object-Oriented Query Language SBQL -- Perfect Matching for Biconnected Cubic Graphs in O(n log2 n) Time -- Destructive Rule-Based Properties and First-Order Logic -- Learning User Preferences for 2CP-Regression for a Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem -- Linear Complementarity Algorithms for Infinite Games -- Mixing Coverability and Reachability to Analyze VASS with One Zero-Test -- Practically Applicable Formal Methods -- Fast and Compact Prefix Codes -- New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes -- Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations -- Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph -- On the Complexity of the Highway Pricing Problem -- Accelerating Smart Play-Out -- Optimum Broadcasting in Complete Weighted-Vertex Graphs -- On Contracting Graphs to Fixed Pattern Graphs -- Dynamic Edit Distance Table under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process? -- Design Patterns Instantiation Based on Semantics and Model Transformations -- A Complete Symbolic Bisimulation for Full Applied Pi Calculus -- OTwig: An Optimised Twig Pattern Matching Approach for XML Databases -- Picture Recognizability with Automata Based on Wang Tiles -- Unilateral Orientation of Mixed Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus on the Complex Areas -- CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions -- Source Code Rejuvenation Is Not Refactoring -- Empirical Evaluation of Strategies to Detect Logical Change Dependencies -- Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup -- An Amortized Search Tree Analysis for k-Leaf Spanning Tree -- Approximate Structural Consistency -- Comprehensive System for Systematic Case-Driven Software Reuse -- Comparison of Scoring and Order Approach in Description Logic -- Homophily of Neighborhood in Graph Relational Classifier -- Multilanguage Debugger Architecture -- Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining -- Finding and Certifying Loops -- Vertex Ranking with Capacity."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/909117617> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/909117617#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/610587554> ;
    schema:name "SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings"@en ;
    schema:productID "567359226" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/567359226#PublicationEvent/berlin_heidelberg_springer_verlag_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/909117617#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/978-3-642-11266-9> ;
    schema:workExample <http://worldcat.org/isbn/9783642112669> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/567359226> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/909117617#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117617#Meeting/sofsem_conference_36th_2010_spindleruv_mlyn_czech_republic> # SOFSEM (Conference) (36th : 2010 : Špindlerův Mlýn, Czech Republic)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/909117617#Place/spindleruv_mlyn_czech_republic> ; # Špindlerův Mlýn, Czech Republic)
    schema:name "SOFSEM (Conference) (36th : 2010 : Špindlerův Mlýn, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117617#Person/leeuwen_j_van_jan> # Jan Leeuwen
    a schema:Person ;
    schema:familyName "Leeuwen" ;
    schema:givenName "Jan" ;
    schema:givenName "J. van" ;
    schema:name "Jan Leeuwen" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117617#Place/spindleruv_mlyn_czech_republic> # Špindlerův Mlýn, Czech Republic)
    a schema:Place ;
    schema:name "Špindlerův Mlýn, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117617#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/567359226> ; # SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://worldcat.org/isbn/9783642112669>
    a schema:ProductModel ;
    schema:isbn "3642112668" ;
    schema:isbn "9783642112669" ;
    .

<http://www.worldcat.org/oclc/610587554>
    a schema:CreativeWork ;
    rdfs:label "SOFSEM 2010." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/567359226> ; # SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
    .

<http://www.worldcat.org/title/-/oclc/567359226>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/567359226> ; # SOFSEM 2010: Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
    schema:dateModified "2016-11-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.