Альтернативы поиска:
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Книга