1
Publicado 2014
Tabla de Contenidos: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
Enlace del recurso
Electrónico eBook
2
Publicado 2007
Tabla de Contenidos: ... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...
Enlace del recurso
Electrónico eBook
6
Publicado 2007
Tabla de Contenidos: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...
Enlace del recurso
Electrónico eBook
8
Publicado 2012
Tabla de Contenidos: ... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...
Enlace del recurso
Electrónico eBook
9
Publicado 2010
Tabla de Contenidos: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
Enlace del recurso
Electrónico eBook
10
Publicado 2005
Tabla de Contenidos: ... Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs...
Enlace del recurso
Electrónico eBook
11
Publicado 2007
Tabla de Contenidos: ... -- Session 11 -- An Integer Programming Approach for Linear Programs with Probabilistic Constraints...
Enlace del recurso
Electrónico eBook
12
Publicado 2005
Tabla de Contenidos: ... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...
Enlace del recurso
Electrónico eBook
13
Publicado 2013
Tabla de Contenidos: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
Enlace del recurso
Electrónico eBook
14
Publicado 2005
Tabla de Contenidos: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
Enlace del recurso
Electrónico eBook
15
Publicado 2008
Tabla de Contenidos: ... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...
Enlace del recurso
Electrónico eBook
16
Publicado 2012
Tabla de Contenidos: ...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...
Enlace del recurso
Electrónico eBook
17
Publicado 2010
Tabla de Contenidos: ... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...
Enlace del recurso
Electrónico eBook
18
Publicado 2011
Tabla de Contenidos: ...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...
Enlace del recurso
Electrónico eBook
19
Publicado 2010
Tabla de Contenidos: ... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...
Enlace del recurso
Electrónico eBook
20
Publicado 2010
Tabla de Contenidos: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
Enlace del recurso
Electrónico eBook