Pesquisas alternativas:
intelligence computer » intelligent computing
computer programming » computer program, computer programs
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint graphs » constraints graphs, constraint graph, constrained graphs
1
Publicado em 2014
Sumário: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... -- A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2007
Sumário: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2008
Sumário: ... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2007
Sumário: ... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2013
Sumário: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ... and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2005
Sumário: ... Programming -- Weighted Answer Sets and Applications in Intelligence Analysis -- How to Fix It: Using...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2005
Sumário: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2007
Sumário: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2005
Sumário: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2012
Sumário: ... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2014
Sumário: ...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2015
Sumário: ...Reframing on Relational Data -- Inductive Learning using Constraint-driven Bias -- Nonmonotonic...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2010
Sumário: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...
Obter o texto integral
Recurso Electrónico livro electrónico