Resultados da pesquisa - interval counting processing ((programmed using) OR (programmers using)) https

Pesquisas alternativas:
counting processing » accounting processing , countries processing , curing processing
interval counting » bacterial counting
programmers using » programmes using , programme using , programming using
programmed using » programme using , programmes using , programming using

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

Publicado em 2010

Sumário: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... -- Formal Lifetime Reliability Analysis Using Continuous Random Variables -- Modal Logics with Counting...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... of SAT -- Parametric Metric Interval Temporal Logic -- Short Witnesses and Accepting Lassos in ?-Automata...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Analysis and Signal Processing -- Non-rigid image registration using mutual information -- Musical audio...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... -- Time Interval-Based Prepaid Charging of QoS-Enabled IP Services -- Mining Stock Market Tendency Using...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... processing -- The Fractal Dimension of SAT Formulas -- A Gentle Non-disjoint Combination of Satisfiability...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... -- Colorings with Few Colors: Counting, Enumeration and Combinatorial Bounds -- On Stable Matchings and Flows...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Lattice Polygons/Trees and Diameter-4 Trees -- Restricted Mesh Simplification Using Edge Contractions...”
Obter o texto integral

Recurso Electrónico livro electrónico

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...

Publicado em 2005

Sumário: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... Mobility Profiling -- MobiCASE 2009 - Session 6: Mobile Assistants -- Multi-agent Meeting Scheduling Using...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa