1
Udgivet 2008
Indholdsfortegnelse: ... Structure Prediction with Large Neighborhood Constraint Programming Search -- An Application of Constraint...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Få fuldtekst
Electronisk eBog
3
Udgivet 2014
Fag: ...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...
Få fuldtekst
Electronisk eBog
4
Udgivet 2015
Fag: ...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...
Få fuldtekst
Electronisk eBog
6
Indholdsfortegnelse: ...Basic Notions -- Programming Languages and Paradigms -- Constraints -- Multiparadigm Constraint...
Få fuldtekst
Electronisk eBog
7
Udgivet 2011
Fag: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
8
Udgivet 2011
Fag: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
9
Udgivet 2015
Fag: ...Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product...
Få fuldtekst
Electronisk eBog
10
Udgivet 2014
Indholdsfortegnelse: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
Få fuldtekst
Electronisk eBog
11
Udgivet 2014
Indholdsfortegnelse: ... -- Programming with Separable Ellipsoidal Constraints -- Adaptive Finite Elements for Optimally Controlled...
Få fuldtekst
Electronisk eBog
12
Udgivet 2011
Fag: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
13
Udgivet 2007
Indholdsfortegnelse: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Få fuldtekst
Electronisk eBog
14
Udgivet 2012
Indholdsfortegnelse: ...Invited Papers -- Best Paper -- Best Application Paper -- Honorable Mentions -- CP Main Track...
Få fuldtekst
Electronisk eBog
15
Udgivet 2010
Indholdsfortegnelse: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
Få fuldtekst
Electronisk eBog
16
Udgivet 2013
Indholdsfortegnelse: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Få fuldtekst
Electronisk eBog
17
Udgivet 2013
Fag: ...Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product...
Få fuldtekst
Electronisk eBog
18
af Mauro, Jacopo., Mauro, Jacopo.
Udgivet 2014
Indholdsfortegnelse: ...Introduction -- Constraints -- Concurrency -- Constraint Handling Rules -- Non Turing powerful...
Få fuldtekst
Electronisk eBog
19
Udgivet 2005
Indholdsfortegnelse: ... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...
Få fuldtekst
Electronisk eBog
20
Udgivet 2005
Indholdsfortegnelse: ... -- An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing -- A...
Få fuldtekst
Electronisk eBog