Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Ant colony optimization and constraint programming [[electronic resource] /] / Christine Solnon
| Ant colony optimization and constraint programming [[electronic resource] /] / Christine Solnon |
| Autore | Solnon Christine |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | 1 online resource (248 p.) |
| Disciplina | 005.1/16 |
| Collana | ISTE |
| Soggetto topico |
Constraint programming (Computer science)
Mathematical optimization Swarm intelligence Ant algorithms |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-118-55756-5
1-299-31543-7 1-118-61966-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Constraint programming -- pt. 2. Ant colony optimization -- pt. 3. CP with ACO. |
| Record Nr. | UNINA-9910139246303321 |
Solnon Christine
|
||
| London, : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ant colony optimization and constraint programming [[electronic resource] /] / Christine Solnon
| Ant colony optimization and constraint programming [[electronic resource] /] / Christine Solnon |
| Autore | Solnon Christine |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | London, : ISTE |
| Descrizione fisica | 1 online resource (248 p.) |
| Disciplina | 005.1/16 |
| Collana | ISTE |
| Soggetto topico |
Constraint programming (Computer science)
Mathematical optimization Swarm intelligence Ant algorithms |
| ISBN |
1-118-55756-5
1-299-31543-7 1-118-61966-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Constraint programming -- pt. 2. Ant colony optimization -- pt. 3. CP with ACO. |
| Record Nr. | UNINA-9910819597103321 |
|
Solnon Christine
|
||
| London, : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A class of algorithms for distributed constraint optimization [[electronic resource] /] / Adrian Petcu
| A class of algorithms for distributed constraint optimization [[electronic resource] /] / Adrian Petcu |
| Autore | Petcu Adrian |
| Pubbl/distr/stampa | Washington, DC, : IOS Press, 2009 |
| Descrizione fisica | 1 online resource (304 p.) |
| Disciplina |
005.1/16
006.3 |
| Collana | Frontiers in artificial intelligence and applications/faia |
| Soggetto topico |
Constraint programming (Computer science)
Artificial intelligence |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-4416-1663-2
1-60750-418-9 600-00-1486-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Contents; Introduction; I Preliminaries and Background; II The DPOP Algorithm; III Tradeoffs; IV Dynamics; V Self-Interest |
| Record Nr. | UNINA-9910454828003321 |
|
Petcu Adrian
|
||
| Washington, DC, : IOS Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A class of algorithms for distributed constraint optimization [[electronic resource] /] / Adrian Petcu
| A class of algorithms for distributed constraint optimization [[electronic resource] /] / Adrian Petcu |
| Autore | Petcu Adrian |
| Pubbl/distr/stampa | Washington, DC, : IOS Press, 2009 |
| Descrizione fisica | 1 online resource (304 p.) |
| Disciplina |
005.1/16
006.3 |
| Collana | Frontiers in artificial intelligence and applications/faia |
| Soggetto topico |
Constraint programming (Computer science)
Artificial intelligence |
| ISBN |
1-4416-1663-2
1-60750-418-9 600-00-1486-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Contents; Introduction; I Preliminaries and Background; II The DPOP Algorithm; III Tradeoffs; IV Dynamics; V Self-Interest |
| Record Nr. | UNINA-9910777938403321 |
|
Petcu Adrian
|
||
| Washington, DC, : IOS Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A class of algorithms for distributed constraint optimization [[electronic resource] /] / Adrian Petcu
| A class of algorithms for distributed constraint optimization [[electronic resource] /] / Adrian Petcu |
| Autore | Petcu Adrian |
| Pubbl/distr/stampa | Washington, DC, : IOS Press, 2009 |
| Descrizione fisica | 1 online resource (304 p.) |
| Disciplina |
005.1/16
006.3 |
| Collana | Frontiers in artificial intelligence and applications/faia |
| Soggetto topico |
Constraint programming (Computer science)
Artificial intelligence |
| ISBN |
1-4416-1663-2
1-60750-418-9 600-00-1486-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Contents; Introduction; I Preliminaries and Background; II The DPOP Algorithm; III Tradeoffs; IV Dynamics; V Self-Interest |
| Record Nr. | UNINA-9910814653703321 |
|
Petcu Adrian
|
||
| Washington, DC, : IOS Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint Solving and Language Processing [[electronic resource] ] : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / / edited by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
| Constraint Solving and Language Processing [[electronic resource] ] : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / / edited by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 205 p.) |
| Disciplina | 005.1/16 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Mathematical logic Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment of Long Distance Dependencies in CHR -- Metagrammar Redux -- The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions and Constraint Systems -- Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for Czech -- Multi-dimensional Graph Configuration for Natural Language Processing -- An Intuitive Tool for Constraint Based Grammars -- Parsing Unrestricted German Text with Defeasible Constraints -- Animacy Information in Human Sentence Processing: An Incremental Optimization of Interpretation Approach -- An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing -- A Constraint-Based Model for Lexical and Syntactic Choice in Natural Language Generation. |
| Record Nr. | UNISA-996465721203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / / edited by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
| Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / / edited by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 205 p.) |
| Disciplina | 005.1/16 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Mathematical logic Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment of Long Distance Dependencies in CHR -- Metagrammar Redux -- The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions and Constraint Systems -- Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for Czech -- Multi-dimensional Graph Configuration for Natural Language Processing -- An Intuitive Tool for Constraint Based Grammars -- Parsing Unrestricted German Text with Defeasible Constraints -- Animacy Information in Human Sentence Processing: An Incremental Optimization of Interpretation Approach -- An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing -- A Constraint-Based Model for Lexical and Syntactic Choice in Natural Language Generation. |
| Record Nr. | UNINA-9910484419603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Global Optimization and Constraint Satisfaction [[electronic resource] ] : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / / edited by Christophe Jermann, Arnold Neumaier, Djamila Sam
| Global Optimization and Constraint Satisfaction [[electronic resource] ] : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / / edited by Christophe Jermann, Arnold Neumaier, Djamila Sam |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 193 p.) |
| Disciplina | 005.1/16 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science Machine theory Computer science—Mathematics Numerical Analysis Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation |
| ISBN |
3-540-32041-5
3-540-26003-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block Backtracking: Exploiting the Structure in Continuous CSPs -- Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming Methods for Global Optimization -- A Method for Global Optimization of Large Systems of Quadratic Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials -- Using a Cooperative Solving Approach to Global Optimization Problems -- Global Optimization of Convex Multiplicative Programs by Duality Theory -- Applications -- High-Fidelity Models in Global Optimization -- Incremental Construction of the Robot’s Environmental Map Using Interval Analysis -- Nonlinear Predictive Control Using Constraints Satisfaction -- Gas Turbine Model-Based Robust Fault Detection Using a Forward – Backward Test -- Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection. |
| Record Nr. | UNISA-996465711303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / / edited by Christophe Jermann, Arnold Neumaier, Djamila Sam
| Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / / edited by Christophe Jermann, Arnold Neumaier, Djamila Sam |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 193 p.) |
| Disciplina | 005.1/16 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Computer science Machine theory Computer science—Mathematics Numerical Analysis Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation |
| ISBN |
3-540-32041-5
3-540-26003-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block Backtracking: Exploiting the Structure in Continuous CSPs -- Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming Methods for Global Optimization -- A Method for Global Optimization of Large Systems of Quadratic Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials -- Using a Cooperative Solving Approach to Global Optimization Problems -- Global Optimization of Convex Multiplicative Programs by Duality Theory -- Applications -- High-Fidelity Models in Global Optimization -- Incremental Construction of the Robot’s Environmental Map Using Interval Analysis -- Nonlinear Predictive Control Using Constraints Satisfaction -- Gas Turbine Model-Based Robust Fault Detection Using a Forward – Backward Test -- Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection. |
| Record Nr. | UNINA-9910483458803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [[electronic resource] ] : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / / edited by Roman Barták, Michela Milano
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [[electronic resource] ] : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / / edited by Roman Barták, Michela Milano |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 412 p.) |
| Disciplina | 005.1/16 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Numerical analysis Computer science—Mathematics Discrete mathematics Computer networks Information technology—Management Artificial Intelligence Numerical Analysis Discrete Mathematics in Computer Science Computer Communication Networks Computer Application in Administrative Data Processing |
| ISBN | 9783540322641 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Integration of Rules and Optimization in Plant PowerOps -- Embedded Systems Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers -- Set Variables and Local Search -- The Temporal Knapsack Problem and Its Solution -- Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles -- The tree Constraint -- Filtering Algorithms for the NValue Constraint -- Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems -- On the Minimal Steiner Tree Subproblem and Its Application in Branch-and-Price -- Constraint Programming Based Column Generation for Employee Timetabling -- Scheduling Social Golfers Locally -- Multiconsistency and Robustness with Global Constraints -- Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations -- Shorter Path Constraints for the Resource Constrained Shortest Path Problem -- Improving the Cooperation Between the Master Problem and the Subproblem in Constraint Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods -- Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs -- Symmetry Breaking and Local Search Spaces -- Combination of Among and Cardinality Constraints -- On the Tractability of Smooth Constraint Satisfaction Problems -- A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems -- Symmetry and Search in a Network Design Problem -- Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems -- Formulations and Reformulations in Integer Programming -- Nondeterministic Control for Hybrid Search -- Computing Explanations for the Unary Resource Constraint. |
| Record Nr. | UNISA-996465782203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
