Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
computing programming » computer programming, computers programming
integrals computing » integrated computing, interval computing, integration computing
constraint graphs » constraints graphs, constraint graph, constrained graphs
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
computing programming » computer programming, computers programming
integrals computing » integrated computing, interval computing, integration computing
constraint graphs » constraints graphs, constraint graph, constrained graphs
1
Udgivet 2014
Indholdsfortegnelse:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2007
Indholdsfortegnelse:
“... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2007
Indholdsfortegnelse:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2007
Indholdsfortegnelse:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2005
Indholdsfortegnelse:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2012
Indholdsfortegnelse:
“... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2005
Indholdsfortegnelse:
“... Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2007
Indholdsfortegnelse:
“... -- Session 11 -- An Integer Programming Approach for Linear Programs with Probabilistic Constraints...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Få fuldtekst
Electronisk
eBog
13
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2010
Indholdsfortegnelse:
“... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2011
Indholdsfortegnelse:
“...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2012
Indholdsfortegnelse:
“...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2010
Indholdsfortegnelse:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2010
Indholdsfortegnelse:
“... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”Få fuldtekst
Electronisk
eBog