Search Results - interval expression proceedings programmed constructs https

Search alternatives:
proceedings programmed » processing programmed , proceedings program , process programmed
expression proceedings » expression profiling , region proceedings
programmed constructs » programming constructs , programme contract , programmed instructions
interval expression » interval regression , bacterial expression , integrins expression
constructs https » construction https , constructs loops , constructs arti

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

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Published 2007

Table of Contents: “... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...”
View full text

Electronic eBook

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Published 2014

Table of Contents: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
View full text

Electronic eBook

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “... -- Uncertainty Interval Expression of Measurement: Possibility Maximum Specificity versus Probability Maximum...”
View full text

Electronic eBook

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Published 2014

Table of Contents: “... to PDL -- On the Expressiveness of the Interval Logic of Allen’s Relations over Finite and Discrete...”
View full text

Electronic eBook

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings /

Published 2008

Table of Contents: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
View full text

Electronic eBook

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Hybrid Systems Are More Decidable Than Weighted Timed Automata! -- On Decidability and Expressiveness...”
View full text

Electronic eBook

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Published 2006

Table of Contents: “... Simple Polygon -- Counting Proportions of Sets: Expressive Power with Almost Order -- Efficient...”
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: “... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...”
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: “... for Uniform Semi-Unification.- Deciding WQO for Factorial Languages.- On the Construction of a Family...”
View full text

Electronic eBook

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Published 2010

Table of Contents: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
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: “... Termination of Programs Automatically with A Pro VE -- Locality Transfer: From Constrained Axiomatizations...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”
View full text

Electronic eBook

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Published 2007

Table of Contents: “... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”
View full text

Electronic eBook

Combinatorial Pattern Matching 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings /

Published 2006

Table of Contents: “... Construction of Word Suffix Trees -- Obtaining Provably Good Performance from Suffix Trees in Secondary Storage...”
View full text

Electronic eBook

Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings /

Published 2010

Table of Contents: “...: An Algorithm and Experiments -- Use-Based Discovery of Pervasive Services -- Expressive Approximations in DL...”
View full text

Electronic eBook

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Published 2005

Table of Contents: “...Computational Intelligence -- An Approach for Conceptual Modeling and Extracting Expressive...”
View full text

Electronic eBook

Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings /

Published 2006

Table of Contents: “... Facial Expressions Based on Statistical Shape and Texture Models -- Real-Time Facial Expression Mapping...”
View full text

Electronic eBook

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Cognitive Mechanisms by Hierarchical Cooperative CoEvolution -- Bayesian Feature Construction -- Musical...”
View full text

Electronic eBook

Narrow Search