Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
integrators solving » integration solving, integrators modeling, operators solving
solving programming » solving programmed, modeling programming, using programming
constraints data » constraints a, constraints based, constraints _
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
integrators solving » integration solving, integrators modeling, operators solving
solving programming » solving programmed, modeling programming, using programming
constraints data » constraints a, constraints based, constraints _
1
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... Manufacturing -- A Constraint Programming Approach for the Service Consolidation Problem -- Solving Connected...”Cael y testun llawn
Electronig
eLyfr
5
Tabl Cynhwysion:
“...An Overview of Picat -- Basic Constraint Modeling -- Advanced Constraint Modeling -- Dynamic...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...-ary Patterns -- An Integrated Business Rules and Constraints Approach to Data Centre Capacity...”Cael y testun llawn
Electronig
eLyfr
8
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Program Declarative Bias -- Generalising Constraint Solving over Finite Domains -- Detection of Security...”Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2005
Tabl Cynhwysion:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2006
Tabl Cynhwysion:
“...-Library for C++ -- Constraint Solving for Sequences in Software Validation and Verification -- Using a...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2013
Tabl Cynhwysion:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...”Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Cael y testun llawn
Electronig
eLyfr
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Cael y testun llawn
Electronig
eLyfr
18
gan Abduh Kaid, Monir Abdullah
Cyhoeddwyd 2009
Pynciau:
“...Loaders (Computer programs) - Case studies...”Cyhoeddwyd 2009
Cael y testun llawn
Thesis
19
Cyhoeddwyd 2007
Tabl Cynhwysion:
“...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...”Cael y testun llawn
Electronig
eLyfr