Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
expression programming » expression profiling
programming constructs » programming concepts, programming contest
interval expression » interval regression, bacterial expression, integrins expression
constructs https » construction https, constructs loops, constructs arti
programming programming » programming programmed, programming program
expression programming » expression profiling
programming constructs » programming concepts, programming contest
interval expression » interval regression, bacterial expression, integrins expression
constructs https » construction https, constructs loops, constructs arti
1
Published 2010
Table of Contents:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- Uncertainty Interval Expression of Measurement: Possibility Maximum Specificity versus Probability Maximum...”View full text
Electronic
eBook
5
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
6
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
7
Published 2005
Table of Contents:
“... Protein Structure Prediction -- Neural Networks and Temporal Gene Expression Data -- Bayesian Learning...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Hybrid Systems Are More Decidable Than Weighted Timed Automata! -- On Decidability and Expressiveness...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“..., the Expression, and the (Small) Automaton -- Technical Contributions -- Minimization of Non-deterministic...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Biochemistry -- Probability Modeling and Statistical Inference in Periodic Cancer Screening -- On Construction...”View full text
Electronic
eBook
13
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
14
Published 2014
Table of Contents:
“... Termination of Programs Automatically with A Pro VE -- Locality Transfer: From Constrained Axiomatizations...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Simple Polygon -- Counting Proportions of Sets: Expressive Power with Almost Order -- Efficient...”View full text
Electronic
eBook
17
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
18
Published 2007
Table of Contents:
“... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Computational Intelligence -- An Approach for Conceptual Modeling and Extracting Expressive...”View full text
Electronic
eBook