Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
interactive computers » interactive computer, interactice computer, interactive compilers
computers programming » computer programming, computer program, computer programs
problems constraints » problem constraints, problems constrained, problem constraint
constraints data » constraints a, constraints based, constraints _
interactive computers » interactive computer, interactice computer, interactive compilers
computers programming » computer programming, computer program, computer programs
problems constraints » problem constraints, problems constrained, problem constraint
constraints data » constraints a, constraints based, constraints _
1
Опубликовано 2014
Оглавление:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2013
Оглавление:
“... of Computational Problems, with Applications to Constraint Satisfaction -- Solving QBF with Free Variables...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2007
Оглавление:
“... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2008
Оглавление:
“... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2008
Оглавление:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2015
Оглавление:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2014
Оглавление:
“... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2013
Оглавление:
“... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2008
Оглавление:
“... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2006
Оглавление:
“... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2005
Оглавление:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2005
Оглавление:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2014
Оглавление:
“... for Current and Recent Past Sliding Window Spatiotemporal Data -- Solving Planar Graph Coloring Problem Using...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2010
Оглавление:
“... Association Rules with Quantitative Data under Multiple Support Constraints -- Intelligent Technologies...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2012
Оглавление:
“... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2005
Оглавление:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2006
Оглавление:
“... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”Полный текст
Электронный ресурс
eКнига