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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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. | UNINA-9910872472603321 |
| [Place of publication not identified], : IEEE, 2003 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 |
9781509069835
1509069836 |
| 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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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. | UNINA-9910873250003321 |
| [Place of publication not identified], : IEEE, 2012 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 |
9780769549132
0769549136 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141516403321 |
| [Place of publication not identified], : IEEE, 2012 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||