Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computer » interfaces computer, internet computer
computer programming » computer program, computer programs
problems continuous » processes continuous, problems contributed
continuous https » continuous csps, continuous hmms, continuous hot
interactive computer » interfaces computer, internet computer
computer programming » computer program, computer programs
problems continuous » processes continuous, problems contributed
continuous https » continuous csps, continuous hmms, continuous hot
1
Published 2013
Table of Contents:
“... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Circuits for Trees and Treelike Instances -- Language Emptiness of Continuous-Time Parametric Timed...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“...-Evolution of Problem-Solving Genetic Programming Systems -- The Rubik Cube and GP Temporal Sequence Learning...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Invited Lectures -- Full Completeness: Interactive and Geometric Characterizations of the Space...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... 3D Object Localization Using Occluding Contours -- A Probabilistic Model for Correspondence Problems...”View full text
Electronic
eBook
18
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Published 2014
Table of Contents:
“...-Bounded Reachability Probability on Continuous-Time -- Markov Decision Processes -- Type Reconstruction...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...EvoCOMPLEX Contributions -- Coevolutionary Dynamics of Interacting Species -- Evolving Individual...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Routing Networks -- Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem...”View full text
Electronic
eBook