Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
interactive computer » interfaces computer, internet computer
computer programs » computer program
constraint https » constraint atoms, constraint graphs, constraint codes
from constraint » from constrained, from unconstrained, problem constraint
programs from » programs fast, programming from
interactive computer » interfaces computer, internet computer
computer programs » computer program
constraint https » constraint atoms, constraint graphs, constraint codes
from constraint » from constrained, from unconstrained, problem constraint
programs from » programs fast, programming from
1
Publicado em 2014
Sumário:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2013
Sumário:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”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 2008
Sumário:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2008
Sumário:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2008
Sumário:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2015
Sumário:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2007
Sumário:
“... on Entanglement-Assisted Quantum Communication Complexity -- Separating Deterministic from Nondeterministic NOF...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2010
Sumário:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... from Gist -- Analyzing Interactions between Cue-Guided and Place-Based Navigation with a Computational...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2015
Sumário:
“... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2013
Sumário:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2005
Sumário:
“... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2006
Sumário:
“... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2011
Sumário:
“... Schooten and Rieks op den Akker -- Part II Interaction Management -- Vidiam: Corpus-based Development of a...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2010
Sumário:
“... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2006
Sumário:
“... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2010
Sumário:
“...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”Obter o texto integral
Recurso Electrónico
livro electrónico