Search Results - interval counting processing program functions https

Search alternatives:
counting processing » accounting processing , countries processing , curing processing
processing program » processing programs , processing programmed , proceedings program
interval counting » bacterial counting
program functions » programs functional , program foundations , programme function
functions https » foundations https

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Published 2014

Table of Contents: “... -- Diversity Maintenance Perspective: An Analysis of Exploratory Power and Function Optimization in Context...”
View full text

Electronic eBook

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

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

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings /

Published 2010

Table of Contents: “... of SAT -- Parametric Metric Interval Temporal Logic -- Short Witnesses and Accepting Lassos in ?-Automata...”
View full text

Electronic eBook

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Published 2006

Table of Contents: “... Analysis and Signal Processing -- Non-rigid image registration using mutual information -- Musical audio...”
View full text

Electronic eBook

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

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

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Published 2013

Table of Contents: “...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”
View full text

Electronic eBook

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

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

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Published 2006

Table of Contents: “... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...”
View full text

Electronic eBook

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

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

Narrow Search