1
Published 2014
Table of Contents: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Constraint Programming Approach to the Hospitals / Residents Problem -- Best-First AND/OR Search for 0/1...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
View full text
Electronic eBook
5
Published 2011
Table of Contents: ...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! -- Regular Expression Subtyping for XML...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Numerical Attributes in Databases Under Integrity Constraints -- Consistent Query Answers on Numerical...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
View full text
Electronic eBook
10
Published 2011
Table of Contents: ... Based on Answer Set Programming with Constraints: Preliminary Design -- Applications of Answer Set...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... to Manage Collective Preferences -- A Conceptual Modeling Framework for Expressing Observational Data...
View full text
Electronic eBook
13
Published 2015
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... for Integration and Analysis of Data: New Challenges -- A New Framework for Designing Schema Mappings -- User...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... of State or State Transitions -- Decidability and Expressive Power of Real Time Logics -- Contributed...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...1. Invited Talks -- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Generalized Databases with Equality Constraints -- A Dynamic View of Active Integrity Constraints...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Approximations from Noisy Point Clouds -- Coresets for Discrete Integration and Clustering -- Self-assemblying...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ...-Specific Constraints -- Scalable Armies of Model Clones through Data Sharing -- Feature and Variability...
View full text
Electronic eBook