Rekommenderade teman
Rekommenderade teman
Menade du:
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
integrated design » integration design
constraint https » constraint atoms, constraint graphs, constraint codes
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
integrated design » integration design
constraint https » constraint atoms, constraint graphs, constraint codes
1
Publicerad 2014
Innehållsförteckning:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2014
Innehållsförteckning:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2011
Ämnen:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“... and Maximal Time-Lags: A Simple Constraint Programming Approach -- On the Design of the Next Generation Access...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2008
Innehållsförteckning:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2005
Innehållsförteckning:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2007
Innehållsförteckning:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2007
Innehållsförteckning:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2006
Innehållsförteckning:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2007
Innehållsförteckning:
“... -- Session 11 -- An Integer Programming Approach for Linear Programs with Probabilistic Constraints...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2013
Innehållsförteckning:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2015
Innehållsförteckning:
“....-The Design of the Sixth Answer Set Programming Competition -- Doctoral Consortium Extended Abstract: Planning...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2006
Innehållsförteckning:
“...: OpenOffice Spreadsheet Front-End for Constraint Programming -- Overload Checking for the Cumulative...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2005
Innehållsförteckning:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2011
Innehållsförteckning:
“... Based on Answer Set Programming with Constraints: Preliminary Design -- Applications of Answer Set...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2010
Innehållsförteckning:
“... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2007
Innehållsförteckning:
“...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2005
Innehållsförteckning:
“... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2010
Innehållsförteckning:
“... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”Hämta fulltext
Elektronisk
E-bok
20
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Publicerad 2007
Innehållsförteckning:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”Hämta fulltext
Elektronisk
E-bok