Search Results - interval counting processing ((programmed using) or (programs using)) https

Search alternatives:
counting processing » accounting processing , countries processing , curing processing
interval counting » bacterial counting
programmed using » programme using , programmes using , programmers using
programs using » programming using

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

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Published 2014

Table of Contents: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
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: “... -- Formal Lifetime Reliability Analysis Using Continuous Random Variables -- Modal Logics with Counting...”
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

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

Published 2014

Table of Contents: “... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”
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

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings /

Published 2014

Table of Contents: “... processing -- The Fractal Dimension of SAT Formulas -- A Gentle Non-disjoint Combination of Satisfiability...”
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: “... -- Time Interval-Based Prepaid Charging of QoS-Enabled IP Services -- Mining Stock Market Tendency Using...”
View full text

Electronic eBook

Graph-Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010, Revised Papers /

Published 2010

Table of Contents: “... -- Colorings with Few Colors: Counting, Enumeration and Combinatorial Bounds -- On Stable Matchings and Flows...”
View full text

Electronic eBook

Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings /

Published 2006

Table of Contents: “... Lattice Polygons/Trees and Diameter-4 Trees -- Restricted Mesh Simplification Using Edge Contractions...”
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: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
View full text

Electronic eBook

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Mobility Profiling -- MobiCASE 2009 - Session 6: Mobile Assistants -- Multi-agent Meeting Scheduling Using...”
View full text

Electronic eBook

Narrow Search