Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
interactive computer » interfaces computer, internet computer
computer programming » computer program, computer programs
programming from » programming problems
constraint https » constraint atoms, constraint graphs, constraint codes
from constraint » from constrained, from unconstrained, problem constraint
interactive computer » interfaces computer, internet computer
computer programming » computer program, computer programs
programming from » programming problems
constraint https » constraint atoms, constraint graphs, constraint codes
from constraint » from constrained, from unconstrained, problem constraint
1
Argitaratua 2014
Aurkibidea:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2013
Aurkibidea:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2008
Aurkibidea:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2015
Aurkibidea:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... from Gist -- Analyzing Interactions between Cue-Guided and Place-Based Navigation with a Computational...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2007
Aurkibidea:
“... on Entanglement-Assisted Quantum Communication Complexity -- Separating Deterministic from Nondeterministic NOF...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2014
Aurkibidea:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2015
Aurkibidea:
“... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2013
Aurkibidea:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2005
Aurkibidea:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2006
Aurkibidea:
“... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... from Their Betweenness Centrality -- A Self-learning Optimization Technique for Topology Design...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2006
Aurkibidea:
“... by Their Gait -- Rectification of Illumination in Images Used for Shape from Focus -- Bilateral Edge Detection...”Testu osoa
Baliabide elektronikoa
eBook