Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs composition » program composition, programs competition, program recomposition
composition programs » compensation programs, composition problem, compression programs
intersection method » intersection methods, interaction method, intervention method
method programs » methods program, method progress, method programmed
programs composition » program composition, programs competition, program recomposition
composition programs » compensation programs, composition problem, compression programs
intersection method » intersection methods, interaction method, intervention method
method programs » methods program, method progress, method programmed
1
Published 2006
Table of Contents:
“...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Papers -- Extended Directed Search for Probabilistic Timed Reachability -- Intersection of Regular Signal...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... complex -- 2.8 Representation of $\delta$* in terms of intersection numbers -- 2.9 How to remove...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Intersection for Hybrid Systems Reachability Analysis -- Learning and Detecting Emergent Behavior in Networks...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Intersection Method for Generation of Efficient Front -- An Improved Laplacian Smoothing Approach for Surface...”View full text
Electronic
eBook
8
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
9
Published 2013
Table of Contents:
“... Toys and Extensions -- Matrix-based Methods for Supporting Logic Planning of IT Projects.-From Three...”View full text
Electronic
eBook
10
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
11
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
12
Published 2007
Table of Contents:
“... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... Approach for Mining Top-Rank-k Erasable Itemsets -- Intelligent Information Retrieval New Method...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Approach for Mining Top-Rank-k Erasable Itemsets -- Intelligent Information Retrieval New Method...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Composition -- Fast Intersection Algorithms for Sorted Sequences -- Indexing and Searching a Mass Spectrometry...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“...-Means Method for Determining Motor’s Quality Types Based on Current Waveforms -- License Plate...”View full text
Electronic
eBook