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.
Case-Based Reasoning Research and Development : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / / edited by Lorraine McGinty, David C. Wilson
| Case-Based Reasoning Research and Development : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / / edited by Lorraine McGinty, David C. Wilson |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (536 p.) |
| Disciplina | 006.333 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Compilers (Computer programs) Machine theory Business information services Artificial Intelligence Compilers and Interpreters Formal Languages and Automata Theory IT in Business |
| ISBN |
1-282-29797-X
9786612297977 3-642-02998-1 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- We’re Wiser Together -- Black Swans, Gray Cygnets and Other Rare Birds -- Theoretical/Methodological Research Papers -- Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions -- Case-Based Reasoning in Transfer Learning -- Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples -- Opportunistic Adaptation Knowledge Discovery -- Improving Reinforcement Learning by Using Case Based Heuristics -- Dimensions of Case-Based Reasoner Quality Management -- Belief Merging-Based Case Combination -- Maintenance by a Committee of Experts: The MACE Approach to Case-Base Maintenance -- The Good, the Bad and the Incorrectly Classified: Profiling Cases for Case-Base Editing -- An Active Approach to Automatic Case Generation -- Four Heads Are Better than One: Combining Suggestions for Case Adaptation -- Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions -- Boosting CBR Agents with Genetic Algorithms -- Using Meta-reasoning to Improve the Performance of Case-Based Planning -- Multi-level Abstractions and Multi-dimensional Retrieval of Cases with Time Series Features -- On Similarity Measures Based on a Refinement Lattice -- An Overview of the Deterministic Dynamic Associative Memory (DDAM) Model for Case Representation and Retrieval -- Robust Measures of Complexity in TCBR -- S-Learning: A Model-Free, Case-Based Algorithm for Robot Learning and Control -- Quality Enhancement Based on Reinforcement Learning and Feature Weighting for a Critiquing-Based Recommender -- Abstraction in Knowledge-Rich Models for Case-Based Planning -- A Scalable Noise Reduction Technique for Large Case-Based Systems -- Conceptual Neighborhoods for Retrieval in Case-Based Reasoning -- CBR Supports Decision Analysis with Uncertainty.-Constraint-Based Case-Based Planning Using Weighted MAX-SAT -- Applied Research Papers -- A Value Supplementation Method for Case Bases with Incomplete Information -- Efficiently Implementing Episodic Memory -- Integration of a Methodology for Cluster-Based Retrieval in jColibri -- Case-Based Collective Inference for Maritime Object Classification -- Case-Based Reasoning for Situation-Aware Ambient Intelligence: A Hospital Ward Evaluation Study -- Spatial Event Prediction by Combining Value Function Approximation and Case-Based Reasoning -- Case-Based Support for Forestry Decisions: How to See the Wood from the Trees -- A Case-Based Perspective on Social Web Search -- Determining Root Causes of Drilling Problems by Combining Cases and General Knowledge. |
| Record Nr. | UNINA-9910484803903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language / / edited by Peter D. Mosses
| CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language / / edited by Peter D. Mosses |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XVIII, 534 p.) |
| Disciplina | 005.13/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Software Engineering Computer Science Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-24648-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CASL Summary -- I. Casl Summary -- CASL Syntax -- II. Casl Syntax -- CASL Semantics -- III. Casl Semantics -- CASL Logic -- IV. Casl Logic -- CASL Libraries -- V. Casl Libraries. |
| Record Nr. | UNINA-9910144204503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Central European Functional Programming School [[electronic resource] ] : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / / by Zoltán Horváth
| Central European Functional Programming School [[electronic resource] ] : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / / by Zoltán Horváth |
| Autore | Horváth Zoltán |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VII, 257 p.) |
| Disciplina | 005.11 |
| Altri autori (Persone) | HorváthZoltán <1962-> |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Compilers (Computer programs) Software engineering Programming Techniques Compilers and Interpreters Software Engineering |
| ISBN | 3-540-46845-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach -- The Essence of Dataflow Programming -- Temporal Properties of Clean Programs Proven in Sparkle-T -- Tutorial on Subtype Marks -- Designing Distributed Computational Skeletons in D-Clean and D-Box. |
| Record Nr. | UNISA-996466146303316 |
Horváth Zoltán
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Central European Functional Programming School [[electronic resource] ] : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth
| Central European Functional Programming School [[electronic resource] ] : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VII, 395 p. 1886 illus., 46 illus. in color.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Artificial intelligence Database management Software engineering Compilers (Computer programs) Programming Techniques Artificial Intelligence Database Management Software Engineering Compilers and Interpreters |
| ISBN | 3-030-28346-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Watch out for that tree! A Tutorial on Shortcut Deforestation -- Functional Reactive Programming in C++ -- Immutables in C++: Language Foundation for Functional Programming -- Programming in a Functional Style in C++ -- Functional, Reactive Web Programming in F# -- Functional Languages in Design of Colored Petri Nets Models -- Single Assignment C (SAC): The Compilation Technology Perspective -- Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors -- Static and Dynamic Visualizations of Monadic Programs -- Analyzing Scale-free Properties in Erlang and Scala. |
| Record Nr. | UNISA-996466449403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth
| Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VII, 395 p. 1886 illus., 46 illus. in color.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Artificial intelligence Database management Software engineering Compilers (Computer programs) Programming Techniques Artificial Intelligence Database Management Software Engineering Compilers and Interpreters |
| ISBN | 3-030-28346-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Watch out for that tree! A Tutorial on Shortcut Deforestation -- Functional Reactive Programming in C++ -- Immutables in C++: Language Foundation for Functional Programming -- Programming in a Functional Style in C++ -- Functional, Reactive Web Programming in F# -- Functional Languages in Design of Colored Petri Nets Models -- Single Assignment C (SAC): The Compilation Technology Perspective -- Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors -- Static and Dynamic Visualizations of Monadic Programs -- Analyzing Scale-free Properties in Erlang and Scala. |
| Record Nr. | UNINA-9910349306103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Central European Functional Programming School [[electronic resource] ] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató
| Central European Functional Programming School [[electronic resource] ] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (VII, 507 p. 122 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-319-15940-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram -- The Idris Programming Language -- An Introduction to Task Oriented Programming -- Spreadsheet Engineering -- The EDSL's struggle for their sources -- Zipper-based Modular and Deforested Computations -- Tasklets: Client-side evaluation for iTask3. |
| Record Nr. | UNISA-996200348703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató
| Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (VII, 507 p. 122 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-319-15940-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram -- The Idris Programming Language -- An Introduction to Task Oriented Programming -- Spreadsheet Engineering -- The EDSL's struggle for their sources -- Zipper-based Modular and Deforested Computations -- Tasklets: Client-side evaluation for iTask3. |
| Record Nr. | UNINA-9910483094603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Central European Functional Programming School [[electronic resource] ] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer
| Central European Functional Programming School [[electronic resource] ] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VII, 533 p. 125 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Programming Techniques Software Engineering Compilers and Interpreters |
| ISBN | 3-642-32096-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465441203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Central European Functional Programming School [[electronic resource] ] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / / edited by Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók
| Central European Functional Programming School [[electronic resource] ] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / / edited by Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 391 p. 44 illus., 10 illus. in color.) |
| Disciplina | 005.1/14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Machine theory Computer networks Software Engineering Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Computer Communication Networks |
| ISBN |
1-283-47741-6
9786613477415 3-642-17685-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466022703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Central European Functional Programming School [[electronic resource] ] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / / edited by Anna Soós
| Central European Functional Programming School [[electronic resource] ] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / / edited by Anna Soós |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 303 p.) |
| Disciplina | 746.460285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Computer programming Software engineering Machine theory Computer science Compilers and Interpreters Programming Techniques Software Engineering Formal Languages and Automata Theory Theory of Computation |
| ISBN | 3-540-88059-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Introduction to iTasks: Defining Interactive Work Flows for the Web -- Proving Properties of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases for Refactoring in Erlang -- From Interpretation to Compilation. |
| Record Nr. | UNISA-996465892803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
- Compilers (Computer programs) (1501)
-
Compilers and Interpreters
(1501)
- Computer science (1047)
- Software Engineering (1041)
- Software engineering (1041)