Tìm kiếm thay thế:
interactive computer » interfaces computer, internet computer
problems constraint » problem constraint, problems constrained, problem constraints
computer programs » computer program
programs problems » progress problems, problems problems, programming problems
constraint graphs » constraints graphs, constraint graph, constrained graphs
1
Được phát hành 2006
Mục lục: ...Papers -- Crossings and Permutations -- Morphing Planar Graphs While Preserving Edge Directions...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A...
lấy văn bản
Điện tử eBook
3
Được phát hành 2006
Mục lục: ... Constraint Programming and Local Search Solve the Scheduling Problem of Electricité de France Nuclear Power...
lấy văn bản
Điện tử eBook
4
Được phát hành 2015
Mục lục: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
lấy văn bản
Điện tử eBook
5
Được phát hành 2014
Mục lục: ... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...
lấy văn bản
Điện tử eBook
6
Được phát hành 2007
Mục lục: ... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...
lấy văn bản
Điện tử eBook
7
Được phát hành 2005
Mục lục: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
lấy văn bản
Điện tử eBook
8
Được phát hành 2008
Mục lục: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
lấy văn bản
Điện tử eBook
9
Được phát hành 2006
Mục lục: ... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....
lấy văn bản
Điện tử eBook
10
Được phát hành 2006
Mục lục: ... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...
lấy văn bản
Điện tử eBook
11
Được phát hành 2015
Mục lục: ... Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes -- Generalized LR...
lấy văn bản
Điện tử eBook
12
Được phát hành 2008
Mục lục: ... for the Sparsest Spanners Problem on Apex-Minor-Free Graphs -- Computational Complexity of Perfect-Phylogeny...
lấy văn bản
Điện tử eBook
13
Được phát hành 2005
Mục lục: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
lấy văn bản
Điện tử eBook
14
Được phát hành 2006
Mục lục: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
lấy văn bản
Điện tử eBook
15
Được phát hành 2005
Mục lục: ... -- A Three-Level Graph Based Interactive Volume Segmentation System -- Self-organizing Deformable Model...
lấy văn bản
Điện tử eBook
16
Được phát hành 2010
Mục lục: ... Routing Networks -- Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem...
lấy văn bản
Điện tử eBook
17
Được phát hành 2007
Mục lục: ... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...
lấy văn bản
Điện tử eBook
18
Được phát hành 2010
Mục lục: ... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...
lấy văn bản
Điện tử eBook
19
Được phát hành 2010
Mục lục: ... -- Incorporating Domain Knowledge into Evolutionary Computing for Discovering Gene-Gene Interaction...
lấy văn bản
Điện tử eBook
20
Được phát hành 2005
Mục lục: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
lấy văn bản
Điện tử eBook