Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
inference compositional » inference computational, inference conditional, inverse compositional
problems constructions » problems construction, problem construction, problems instructions
compositional program » composition programs, computational program, compositional problems
constructions https » construction https, instruction https, constructions sites
program problems » programs problems, program problem, programs problem
inference compositional » inference computational, inference conditional, inverse compositional
problems constructions » problems construction, problem construction, problems instructions
compositional program » composition programs, computational program, compositional problems
constructions https » construction https, instruction https, constructions sites
program problems » programs problems, program problem, programs problem
1
Published 2007
Table of Contents:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“...Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... of Inductive Constructions -- Inferring Disjunctive Postconditions -- An Approach to Formal Verification...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... -- Explaining deductive inference; Prawitz, Dag -- Necessity of Thought; Cozzo, Cesare -- On the Motives...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Constructive Swarm Compositions and Inspirations -- New-Generation Methods in an Interpolating EC Synthesizer...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Design in High Dimensions by Composite Likelihood Modelling -- Randomization Based Inference for the Drop...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Computational Complexity -- Algorithm -- On Several Scheduling Problems with Rejection or Discretely...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Bi-level Evolutionary Algorithm for Multi-Objective Vehicle Routing Problems with Time Window...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... of Natural Language Semantics -- Analytical Theory of Fuzzy IF-THEN Rules with Compositional Rule...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Image Retrieval in ORDBMS -- A Historically-Based Task Composition Mechanism to Support Spontaneous...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Programming -- Simplified OWL Ontology Editing for the Web: Is Web Protégé Enough -- A Query Tool for EL...”View full text
Electronic
eBook
20
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