Foreslåede emner i din søgning.
Søg alternativer:
interactive applications » internet applications, enterprise applications, quantitative applications
proceedings programmed » processing programmed, proceedings program, process programmed
programmed constraints » programming constraints, programs constraints, programming constraint
constraints https » constraints haptic, constraints data, constraints chap
1
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
2
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
3
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
4
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
5
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
6
Omslagsbillede
Udgivet 2005
Indholdsfortegnelse: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
7
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
8
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
9
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
10
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
11
Omslagsbillede
Udgivet 2005
Indholdsfortegnelse: “... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
12
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
13
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
14
Omslagsbillede
Udgivet 2005
Indholdsfortegnelse: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
15
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... Clustering Using Constraints -- The Gene-Duplication Problem: Near-Linear Time Algorithms for NNI Based Local...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
16
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “...* with Tree Constraints -- On Growth and Fluctuation of k-Abelian Complexity -- A Polynomial-Time Algorithm...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
17
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... to Support Multi-Party Communications in Multi-Agent Systems -- An Interaction Protocol for Agent...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
18
Omslagsbillede
Udgivet 2012
Indholdsfortegnelse: “... -- Metaheuristics for Tuning Model Parameters in Two Natural Language Processing Applications -- Clustering a Very...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
19
Omslagsbillede
Udgivet 2012
Indholdsfortegnelse: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
20
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning