Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
program constructing » program construction, diagram constructing, programs conducting
computer processing » computer programming
processing program » processing programs, processing programmed, proceedings program
constructing https » construction https, consulting https, constructing better
interval computer » interface computer, interval computing, internet computer
program constructing » program construction, diagram constructing, programs conducting
computer processing » computer programming
processing program » processing programs, processing programmed, proceedings program
constructing https » construction https, consulting https, constructing better
interval computer » interface computer, interval computing, internet computer
1
Vydáno 2013
Obsah:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2007
Obsah:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2005
Obsah:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2005
Obsah:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2006
Obsah:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2010
Obsah:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2010
Obsah:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2014
Obsah:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2005
Obsah:
“... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2012
Obsah:
“... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2006
Obsah:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2014
Obsah:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2007
Obsah:
“... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2008
Obsah:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2007
Obsah:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2012
Obsah:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2006
Obsah:
“... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... -- Stochastic-Process Approach to Nonequilibrium Thermodynamics and Biological Signal Transduction -- Granger...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2006
Obsah:
“... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...”Získat plný text
Elektronický zdroj
E-kniha