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 | ||
| ||
Combinatorial search : from algorithms to systems / / Youssef Hamadi
| Combinatorial search : from algorithms to systems / / Youssef Hamadi |
| Autore | Hamadi Youssef |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Heidelberg [Germany] : , : Springer, , 2013 |
| Descrizione fisica | 1 online resource (xiii, 139 pages) : illustrations (some color) |
| Disciplina |
004
004.0151 006.3 519.6 |
| Collana | Gale eBooks |
| Soggetto topico |
Combinatorial optimization
Computer algorithms Constraint programming (Computer science) Electronic information resource searching |
| ISBN | 3-642-41482-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chap. 1 - Introduction -- Chap. 2 - Boosting Distributed Constraint Networks -- Chap. 3 - Parallel Tree Search for Satisfiability -- Chap. 4 - Parallel Local Search for Satisfiability -- Chap. 5 - Learning Variables Dependencies -- Chap. 6 - Continuous Search -- Chap. 7 - Autonomous Search -- Chap. 8 - Conclusion and Perspectives. |
| Record Nr. | UNINA-9910437569503321 |
|
Hamadi Youssef
|
||
| Heidelberg [Germany] : , : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint handling in metaheuristics and applications / / Anand J. Kulkarni [and four others], editors
| Constraint handling in metaheuristics and applications / / Anand J. Kulkarni [and four others], editors |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (336 pages) |
| Disciplina | 005.11 |
| Soggetto topico |
Constraint programming (Computer science)
Metaheuristics |
| ISBN | 981-336-710-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483057703321 |
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint handling in metaheuristics and applications / / Anand J. Kulkarni [and four others], editors
| Constraint handling in metaheuristics and applications / / Anand J. Kulkarni [and four others], editors |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (336 pages) |
| Disciplina | 005.11 |
| Soggetto topico |
Constraint programming (Computer science)
Metaheuristics |
| ISBN | 981-336-710-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464492003316 |
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors)
| Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (VII, 245 p.) |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Constraint programming (Computer science) |
| ISBN | 3-540-92243-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Welcome to Constraint Handling Rules -- A Flexible Search Framework for CHR -- Adaptive CHR Meets CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR with Propagation Rules -- CHR for Imperative Host Languages -- Guard Reasoning in the Refined Operational Semantics of CHR. |
| Record Nr. | UNINA-9910483942303321 |
| Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors)
| Constraint handling rules : current research topics / / Tom Schrijvers, Thom Frühwirth (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (VII, 245 p.) |
| Disciplina | 005.11 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Constraint programming (Computer science) |
| ISBN | 3-540-92243-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Welcome to Constraint Handling Rules -- A Flexible Search Framework for CHR -- Adaptive CHR Meets CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR with Propagation Rules -- CHR for Imperative Host Languages -- Guard Reasoning in the Refined Operational Semantics of CHR. |
| Record Nr. | UNISA-996466005403316 |
| Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
