Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
integrators solving » integration solving, integrators modeling, operators solving
solving programming » solving programmed, modeling programming, using programming
constraint graphs » constraints graphs, constraint graph, constrained graphs
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
integrators solving » integration solving, integrators modeling, operators solving
solving programming » solving programmed, modeling programming, using programming
constraint graphs » constraints graphs, constraint graph, constrained graphs
1
Publicat 2014
Taula de continguts:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Obtenir text complet
Electrònic
eBook
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicat 2013
Taula de continguts:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... and Spatial Imagery: Support for an Integrative Theory of Graph Cognition -- Using MusicXML to Evaluate...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“... Water Drops Algorithm to Solve Graph Based Travelling Salesman Problem -- Optimization of Complex...”Obtenir text complet
Electrònic
eBook
14
Publicat 2006
Taula de continguts:
“... Approximations from Noisy Point Clouds -- Coresets for Discrete Integration and Clustering -- Self-assemblying...”Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Taula de continguts:
“... Processing and Reasoning Based on Graph Representation – A Case Study -- A Real Time Player Tracking System...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... -- Integration of Constraint Programming and Metaheuristics -- Rule-Based Reasoning Via Abstraction...”Obtenir text complet
Electrònic
eBook
17
Publicat 2007
Taula de continguts:
“... -- The Vertex-Neighbor-Integrity of Digraphs -- Hamiltonian Connected Line Graphs -- A Degree-Condition...”Obtenir text complet
Electrònic
eBook
18
Publicat 2014
Taula de continguts:
“... Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... Model -- Further Results on Swarms Solving Graph Coloring -- Data Collection System for the Navigation...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... for Current and Recent Past Sliding Window Spatiotemporal Data -- Solving Planar Graph Coloring Problem Using...”Obtenir text complet
Electrònic
eBook