Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
computing processing » computing proceeding, computing proceedings, computer processing
program constructing » program construction, diagram constructing, programs conducting
interval computing » intervals comparing, internet computing, interval counting
processing program » processing programs, processing programmed, proceedings program
constructing https » construction https, consulting https, constructing better
computing processing » computing proceeding, computing proceedings, computer processing
program constructing » program construction, diagram constructing, programs conducting
interval computing » intervals comparing, internet computing, interval counting
processing program » processing programs, processing programmed, proceedings program
constructing https » construction https, consulting https, constructing better
1
Publié 2013
Table des matières:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Accéder au texte intégral
Électronique
eBook
2
Publié 2007
Table des matières:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”Accéder au texte intégral
Électronique
eBook
3
Publié 2005
Table des matières:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Accéder au texte intégral
Électronique
eBook
4
Publié 2005
Table des matières:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”Accéder au texte intégral
Électronique
eBook
5
Publié 2006
Table des matières:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”Accéder au texte intégral
Électronique
eBook
6
Publié 2010
Table des matières:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”Accéder au texte intégral
Électronique
eBook
7
Publié 2010
Table des matières:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Accéder au texte intégral
Électronique
eBook
9
Publié 2014
Table des matières:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”Accéder au texte intégral
Électronique
eBook
10
Publié 2012
Table des matières:
“... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...”Accéder au texte intégral
Électronique
eBook
11
Publié 2006
Table des matières:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”Accéder au texte intégral
Électronique
eBook
12
Publié 2014
Table des matières:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Accéder au texte intégral
Électronique
eBook
13
Publié 2005
Table des matières:
“... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”Accéder au texte intégral
Électronique
eBook
14
Publié 2007
Table des matières:
“... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”Accéder au texte intégral
Électronique
eBook
15
Publié 2008
Table des matières:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”Accéder au texte intégral
Électronique
eBook
16
Publié 2007
Table des matières:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”Accéder au texte intégral
Électronique
eBook
17
Publié 2012
Table des matières:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Accéder au texte intégral
Électronique
eBook
18
Publié 2010
Table des matières:
“... -- Stochastic-Process Approach to Nonequilibrium Thermodynamics and Biological Signal Transduction -- Granger...”Accéder au texte intégral
Électronique
eBook
19
Publié 2006
Table des matières:
“... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”Accéder au texte intégral
Électronique
eBook
20
Publié 2010
Table des matières:
“... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...”Accéder au texte intégral
Électronique
eBook