1
Veröffentlicht 2014
Inhaltsangabe: ... -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2014
Inhaltsangabe: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2008
Inhaltsangabe: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2005
Inhaltsangabe: ... Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles -- The tree Constraint...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2007
Inhaltsangabe: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2013
Inhaltsangabe: ... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2012
Schlagworte: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... in Concurrent Constraint Programming -- TopLog: ILP Using a Logic Program Declarative Bias -- Towards Typed...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2005
Inhaltsangabe: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2006
Inhaltsangabe: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2007
Inhaltsangabe: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2008
Inhaltsangabe: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2011
Inhaltsangabe: ...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2010
Inhaltsangabe: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2008
Inhaltsangabe: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2006
Inhaltsangabe: ... -- Session 6 -- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ...Integration of Insect-Resistant Genetically Modified Crops within IPM Programs -- How Governmental...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2013
Inhaltsangabe: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
Volltext
Elektronisch E-Book