Search Results - intersections non program compositional program https

Search alternatives:
program compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
intersections non » intersection non , interactions non , intersecting non
program https » programs https , program has , program help
non program » ion program , sohn program , town program

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
View full text

Electronic eBook

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “..., the Expression, and the (Small) Automaton -- Technical Contributions -- Minimization of Non-deterministic...”
View full text

Electronic eBook

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling -- Vortex...”
View full text

Electronic eBook

Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings /

Published 2012

Table of Contents: “...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...”
View full text

Electronic eBook

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Published 2008

Table of Contents: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
View full text

Electronic eBook

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Published 2013

Table of Contents: “... Mathematics -- CMF: a combinatorial tool to find composite motifs -- Hill-climbing Behaviour on Quantized NK...”
View full text

Electronic eBook

Cellular Automata 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, Proceedings /

Published 2010

Table of Contents: “... of Traffic Flow at a Signalised Intersection -- A Novel Method for Simulating Cancer Growth -- Towards...”
View full text

Electronic eBook

Intelligent Information and Database Systems 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Using Entropy Analysis -- Deriving Composite Periodic Patterns from Database Audit Trails -- Comparison...”
View full text

Electronic eBook

Intelligent Information and Database Systems 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part II /

Published 2014

Table of Contents: “... Using Entropy Analysis -- Deriving Composite Periodic Patterns from Database Audit Trails -- Comparison...”
View full text

Electronic eBook

Intelligent Technologies and Engineering Systems

Published 2013

Table of Contents: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
View full text

Electronic eBook

Narrow Search