Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
approximating functionality » approximation functional, application functionality, approximate functional
programs approximating » problems approximating, problem approximating, problems approximations
functionality function » functionals function, functionaries function, functional functions
parallel programs » parallel programming
function https » functions https, fiction https
approximating functionality » approximation functional, application functionality, approximate functional
programs approximating » problems approximating, problem approximating, problems approximations
functionality function » functionals function, functionaries function, functional functions
parallel programs » parallel programming
function https » functions https, fiction https
1
Опубликовано 2010
Оглавление:
“...Contributed Talks of APPROX -- Approximation Algorithms for the Bottleneck Asymmetric Traveling...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2010
Оглавление:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2015
Оглавление:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2014
Оглавление:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2006
Оглавление:
“...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2013
Оглавление:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2007
Оглавление:
“... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2010
Оглавление:
“... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2010
Оглавление:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2006
Оглавление:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2015
Оглавление:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2015
Оглавление:
“... for Convergence Analysis -- The Power of Trefftz Approximations: Finite Difference, Boundary Difference...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2014
Оглавление:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2008
Оглавление:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2008
Оглавление:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2015
Оглавление:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Полный текст
Электронный ресурс
eКнига
- 1
- 2
- 3
- 4
- Следующий »
- [4]