top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
2003 International Conference on Machine Learning and Cybernetics : proceedings, November 2-5, 2003, Sheraton Hotel, Xi'an, China
2003 International Conference on Machine Learning and Cybernetics : proceedings, November 2-5, 2003, Sheraton Hotel, Xi'an, China
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2003
Disciplina 006.3/1
Soggetto topico Machine learning
Cybernetics
Engineering & Applied Sciences
Computer Science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996280164703316
[Place of publication not identified], : IEEE, 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
2009 IEEE Workshop on Evolving and Self-Developing Intelligent Systems
2009 IEEE Workshop on Evolving and Self-Developing Intelligent Systems
Pubbl/distr/stampa [Place of publication not identified], : I E E E, 2009
Disciplina 006.3/1
ISBN 1-5090-6983-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996204383803316
[Place of publication not identified], : I E E E, 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
2009 IEEE Workshop on Evolving and Self-Developing Intelligent Systems
2009 IEEE Workshop on Evolving and Self-Developing Intelligent Systems
Pubbl/distr/stampa [Place of publication not identified], : I E E E, 2009
Disciplina 006.3/1
ISBN 1-5090-6983-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910145380903321
[Place of publication not identified], : I E E E, 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
2011 Tenth International Conference on Machine Learning and Applications
2011 Tenth International Conference on Machine Learning and Applications
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2012
Disciplina 006.3/1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996206831803316
[Place of publication not identified], : IEEE, 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
2012 Eleventh International Conference on Machine Learning and Applications
2012 Eleventh International Conference on Machine Learning and Applications
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2012
Disciplina 006.3/1
ISBN 0-7695-4913-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996200701503316
[Place of publication not identified], : IEEE, 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
2012 Eleventh International Conference on Machine Learning and Applications
2012 Eleventh International Conference on Machine Learning and Applications
Pubbl/distr/stampa [Place of publication not identified], : IEEE, 2012
Disciplina 006.3/1
ISBN 0-7695-4913-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910141516403321
[Place of publication not identified], : IEEE, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
Edizione [1st ed. 2012.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica 1 online resource (XV, 378 p. 133 illus.)
Disciplina 006.3/1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Algorithms
Computer science—Mathematics
Discrete mathematics
Computer Science Logic and Foundations of Programming
Theory of Computation
Mathematics of Computing
Discrete Mathematics in Computer Science
ISBN 3-642-30885-6
Classificazione 54.53
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Integrated Operational Semantics: Small-Step, Big-Step and Multi-step / Ian J. Hayes and Robert J. Colvin -- Test Generation for Sequential Nets of Abstract State Machines / Paolo Arcaini, Francesco Bolis and Angelo Gargantini -- ASM and Controller Synthesis / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Continuous ASM, and a Pacemaker Sensing Fragment / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- An ASM Model of Concurrency in a Web Browser / Vincenzo Gervasi -- Modeling the Supervisory Control Theory with Alloy / Benoît Fraikin, Marc Frappier and Richard St-Denis -- Preventing Arithmetic Overflows in Alloy / Aleksandar Milicevic and Daniel Jackson -- Extending Alloy with Partial Instances / Vajih Montaghami and Derek Rayside -- Toward a More Complete Alloy / Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi -- Temporal Logic Model Checking in Alloy / Amirhossein Vakili and Nancy A. Day -- Active Attacking Multicast Key Management Protocol Using Alloy / Ting Wang and Dongyao Ji -- Formalizing Hybrid Systems with Event-B / Jean-Raymond Abrial, Wen Su and Huibiao Zhu -- SMT Solvers for Rodin / David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin -- Refinement Plans for Informed Formal Design / Gudmund Grov, Andrew Ireland and Maria Teresa Llano -- Refinement by Interface Instantiation / Stefan Hallerstede and Thai Son Hoang -- Discharging Proof Obligations from Atelier B Using Multiple Automated Provers / David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka -- A Semantic Analysis of Logics That Cope with Partial Terms / Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles -- Combining VDM with Executable Code / Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen -- Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions / Maximiliano Cristiá and Claudia Frydman -- A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams / Chris Marriott, Frank Zeyda and Ana Cavalcanti -- Verification of Hardware Interaction Properties of Software / Ramsay Taylor -- Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System / Matthes Elstermann, Detlef Seese and Albert Fleischmann -- A Unified Processor Model for Compiler Verification and Simulation Using ASM / Roland Lezuo and Andreas Krall -- Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs / Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra -- A Reliability Prediction Method for Abstract State Machines / Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra -- A Simplified Parallel ASM Thesis / Klaus-Dieter Schewe and Qing Wang -- Refactoring Abstract State Machine Models / Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer -- Continuous Behaviour in Event-B: A Sketch / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Formal Verification of PLC Programs Using the B Method / Haniel Barbosa and David Déharbe -- A Practical Event-B Refinement Method Based on a UML-Driven Development Process / Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook -- Learn and Test for Event-B -- A Rodin Plugin / Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu -- Event-B Code Generation: Type Extension with Theories / Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell -- Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project / Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry -- A Pattern for Modelling Fault Tolerant Systems in Event-B / Gintautas Sulskus and Michael Poppleton.
Record Nr. UNISA-996465312903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Adaptation and Learning in Multi-Agent Systems [[electronic resource] ] : IJCAI' 95 Workshop, Montreal, Canada, August 21, 1995. Proceedings. / / edited by Gerhard Weiß, Sandip Sen
Adaptation and Learning in Multi-Agent Systems [[electronic resource] ] : IJCAI' 95 Workshop, Montreal, Canada, August 21, 1995. Proceedings. / / edited by Gerhard Weiß, Sandip Sen
Edizione [1st ed. 1996.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996
Descrizione fisica 1 online resource (XII, 568 p.)
Disciplina 006.3/1
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Programming languages (Electronic computers)
Computer simulation
Artificial Intelligence
Programming Languages, Compilers, Interpreters
Simulation and Modeling
ISBN 3-540-49726-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Adaptation and learning in multi-agent systems: Some remarks and a bibliography -- Refinement in agent groups -- Opponent modeling in multi-agent systems -- A multi-agent environment for department of defense distribution -- Mutually supervised learning in multiagent systems -- A framework for distributed reinforcement learning -- Evolving behavioral strategies in predators and prey -- To learn or not to learn ...... -- A user-adaptive interface agency for interaction with a virtual environment -- Learning in multi-robot systems -- Learn your opponent's strategy (in polynomial time)! -- Learning to reduce communication cost on task negotiation among multiple autonomous mobile robots -- On multiagent Q-learning in a semi-competitive domain -- Using reciprocity to adapt to others -- Multiagent coordination with learning classifier systems.
Record Nr. UNISA-996465862003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advanced Lectures on Machine Learning [[electronic resource] ] : Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures / / edited by Shahar Mendelson, Alexander J. Smola
Advanced Lectures on Machine Learning [[electronic resource] ] : Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures / / edited by Shahar Mendelson, Alexander J. Smola
Edizione [1st ed. 2003.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica 1 online resource (X, 266 p.)
Disciplina 006.3/1
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Social sciences
Humanities
Computer science
Algorithms
Artificial Intelligence
Humanities and Social Sciences
Theory of Computation
ISBN 3-540-36434-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Few Notes on Statistical Learning Theory -- A Short Introduction to Learning with Kernels -- Bayesian Kernel Methods -- An Introduction to Boosting and Leveraging -- An Introduction to Reinforcement Learning Theory: Value Function Methods -- Learning Comprehensible Theories from Structured Data -- Algorithms for Association Rules -- Online Learning of Linear Classifiers.
Record Nr. UNISA-996465288203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advanced Lectures on Machine Learning : Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures / / edited by Shahar Mendelson, Alexander J. Smola
Advanced Lectures on Machine Learning : Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures / / edited by Shahar Mendelson, Alexander J. Smola
Edizione [1st ed. 2003.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica 1 online resource (X, 266 p.)
Disciplina 006.3/1
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Social sciences
Humanities
Computer science
Algorithms
Artificial Intelligence
Humanities and Social Sciences
Theory of Computation
ISBN 3-540-36434-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Few Notes on Statistical Learning Theory -- A Short Introduction to Learning with Kernels -- Bayesian Kernel Methods -- An Introduction to Boosting and Leveraging -- An Introduction to Reinforcement Learning Theory: Value Function Methods -- Learning Comprehensible Theories from Structured Data -- Algorithms for Association Rules -- Online Learning of Linear Classifiers.
Record Nr. UNINA-9910143880003321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui