1
Published 2010
Table of Contents: ... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... -- Diversity Maintenance Perspective: An Analysis of Exploratory Power and Function Optimization in Context...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... of SAT -- Parametric Metric Interval Temporal Logic -- Short Witnesses and Accepting Lassos in ?-Automata...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Analysis and Signal Processing -- Non-rigid image registration using mutual information -- Musical audio...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Interval-Valued Data Structures and Their Application to e-Learning -- Boolean Functions with a Low...
View full text
Electronic eBook