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.
Random Finite Sets for Robot Mapping and SLAM : New Concepts in Autonomous Robotic Map Representations / by John Mullane, Ba-Ngu Vo, Martin Adams, Ba-Tuong Vo.
Random Finite Sets for Robot Mapping and SLAM : New Concepts in Autonomous Robotic Map Representations / by John Mullane, Ba-Ngu Vo, Martin Adams, Ba-Tuong Vo.
Creatore [Mullane, John]
Estensione 1 online resource.
Disciplina 629.892
Accesso persona Vo, Ba-Ngu
Adams, Martin
Vo, Ba-Tuong
Soggetto non controllato Robotics and Automation
Artificial Intelligence (incl. Robotics)
Engineering
ISBN 9783642213908
3642213901
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Random Finite Sets -- Random Finite Set Based Robotic Mapping -- Random Finite Set Based Simultaneous Localisation and Map Building.
Record Nr. NYU-006178952
[Mullane, John]  
Materiale a stampa
Lo trovi qui: New York University
Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Cormac Flanagan, Barbara König (eds.).
Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Cormac Flanagan, Barbara König (eds.).
Creatore [TACAS (Conference) (18th : 2012 : Tallinn, Estonia)]
Estensione 1 online resource (xix, 560 pages).
Disciplina 004.2/1
Accesso persona Flanagan, Cormac
König, Barbara (Professor of Information Engineering)
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Artificial Intelligence (incl. Robotics)
Programming Techniques
ISBN 9783642287565
3642287565
9783642287558
3642287557
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Quantitative Models for a Not So Dumb Grid / Holger Hermanns -- History-Aware Data Structure Repair Using SAT / Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid and Kathryn S. McKinley -- The Guardol Language and Verification System / David Hardin, Konrad Slind, Michael Whalen and Tuan-Hung Pham -- A Bit Too Precise? Bounded Verification of Quantized Digital Filters / Arlen Cox, Sriram Sankaranarayanan and Bor-Yuh Evan Chang -- Numeric Bounds Analysis with Conflict-Driven Learning / Vijay D'Silva, Leopold Haller, Daniel Kroening and Michael Tautschnig -- Ramsey-Based Analysis of Parity Automata / Oliver Friedmann and Martin Lange -- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata / Ondřej Lengál, Jiří Šimáček and Tomáš Vojnar -- LTL to Büchi Automata Translation: Fast and More Deterministic / Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák and Jan Strejček -- Pushdown Model Checking for Malware Detection / Fu Song and Tayssir Touili -- Aspect-Oriented Runtime Monitor Certification / Kevin W. Hamlen, Micah M. Jones and Meera Sridhar -- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems / Frédéric Lang and Radu Mateescu -- From Under-Approximations to Over-Approximations and Back / Aws Albarghouthi, Arie Gurfinkel and Marsha Chechik.
Automated Analysis of AODV Using UPPAAL / Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver and Marius Portmann, et al. -- Modeling and Verification of a Dual Chamber Implantable Pacemaker / Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur and Rahul Mangharam -- Counter-Example Guided Fence Insertion under TSO / Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine -- Java Memory Model-Aware Model Checking / Huafeng Jin, Tuba Yavuz-Kahveci and Beverly A. Sanders -- Compositional Termination Proofs for Multi-threaded Programs / Corneliu Popeea and Andrey Rybalchenko -- Deciding Conditional Termination / Marius Bozga, Radu Iosif and Filip Konečný -- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures / Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta and Alberto Calvi, et al. -- Reduction-Based Formal Analysis of BGP Instances / Anduo Wang, Carolyn Talcott, Alexander J.T. Gurney, Boon Thau Loo and Andre Scedrov -- Minimal Critical Subsystems for Discrete-Time Markov Models / Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker and Joost-Pieter Katoen -- Automatic Verification of Competitive Stochastic Systems / Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker and Aistis Simaitis -- Coupling and Importance Sampling for Statistical Model Checking / Benoît Barbot, Serge Haddad and Claudine Picaronny.
Verifying pCTL Model Checking / Johannes Hölzl and Tobias Nipkow -- Parameterized Synthesis / Swen Jacobs and Roderick Bloem -- QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification / Hu-Hsi Yeh, Cheng-Yin Wu and Chung-Yang (Ric) Huang -- Template-Based Controller Synthesis for Timed Systems / Bernd Finkbeiner and Hans-Jörg Peter -- Zeno: An Automated Prover for Properties of Recursive Data Structures / William Sonnex, Sophia Drossopoulou and Susan Eisenbach -- A Proof Assistant for Alloy Specifications / Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi and Mana Taghdiri -- Reachability under Contextual Locking / Rohit Chadha, P. Madhusudan and Mahesh Viswanathan -- Bounded Phase Analysis of Message-Passing Programs / Ahmed Bouajjani and Michael Emmi -- Demonstrating Learning of Register Automata / Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel and Bengt Jonsson -- Symbolic Automata: The Toolkit / Margus Veanes and Nikolaj Bjørner -- McScM: A General Framework for the Verification of Communicating Machines / Alexander Heußner, Tristan Le Gall and Grégoire Sutre -- SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications / Luís Caires and Hugo Torres Vieira -- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen and Mikael H. Møller, et al. -- A Platform for High Performance Statistical Model Checking -- PLASMA / Cyrille Jegourel, Axel Legay and Sean Sedwards.
Competition on Software Verification / (SV-COMP) / Dirk Beyer -- Predicate Analysis with BLAST 2.7 / (Competition Contribution) / Pavel Shved, Mikhail Mandrykin and Vadim Mutilin -- CPAchecker with Adjustable Predicate Analysis / (Competition Contribution) / Stefan Löwe and Philipp Wendler -- Block Abstraction Memoization for CPAchecker / (Competition Contribution) / Daniel Wonisch -- Context-Bounded Model Checking with ESBMC 1.17 / (Competition Contribution) / Lucas Cordeiro, Jeremy Morse, Denis Nicole and Bernd Fischer -- Proving Reachability Using FShell / (Competition Contribution) / Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig and Helmut Veith -- LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation / (Competition Contribution) / Carsten Sinz, Florian Merz and Stephan Falke -- Predator: A Verification Tool for Programs with Dynamic Linked Data Structures / (Competition Contribution) / Kamil Dudka, Petr Müller, Petr Peringer and Tomáš Vojnar -- HSF(C): A Software Verifier Based on Horn Clauses / (Competition Contribution) / Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea and Andrey Rybalchenko -- satabs: A Bit-Precise Verifier for C Programs / (Competition Contribution) / Gérard Basler, Alastair Donaldson, Alexander Kaiser, Daniel Kroening and Michael Tautschnig, et al. -- Wolverine: Battling Bugs with Interpolants / (Competition Contribution) / Georg Weissenbacher, Daniel Kroening and Sharad Malik.
Record Nr. NYU-004622188
[TACAS (Conference) (18th : 2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: New York University
Advanced Neural Network-Based Computational Schemes for Robust Fault Diagnosis [electronic resource] / by Marcin Mrugalski
Advanced Neural Network-Based Computational Schemes for Robust Fault Diagnosis [electronic resource] / by Marcin Mrugalski
Creatore [Mrugalski, Marcin. author]
Estensione 1 online resource.
Disciplina 006.3
Soggetto non controllato Computational Intelligence
Artificial Intelligence (incl. Robotics)
Complexity
Control
Engineering
ISBN 9783319015477
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Designing of dynamic neural networks -- Estimation methods in training of ANNs for robust fault diagnosis -- MLP in robust fault detection of static non-linear systems -- GMDH networks in robust fault detection of dynamic non-linear systems -- State-space GMDH networks for actuator robust FDI.
Record Nr. UCHICAGO-9805691
[Mrugalski, Marcin. author]  
Risorse elettroniche
Lo trovi qui: University of Chicago
International Joint Conference SOCO'13-CISIS'13-ICEUTE'13 [electronic resource] : Salamanca, Spain, September 11th-13th, 2013 Proceedings / edited by Álvaro Herrero, Bruno Baruque, Fanny Klett, Ajith Abraham, Václav Snásel, André C.P.L.F. Carvalho, Pablo García Bringas, Ivan Zelinka, Héctor Quintián, Emilio Corchado
International Joint Conference SOCO'13-CISIS'13-ICEUTE'13 [electronic resource] : Salamanca, Spain, September 11th-13th, 2013 Proceedings / edited by Álvaro Herrero, Bruno Baruque, Fanny Klett, Ajith Abraham, Václav Snásel, André C.P.L.F. Carvalho, Pablo García Bringas, Ivan Zelinka, Héctor Quintián, Emilio Corchado
Creatore [Herrero, Álvaro. editor]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Baruque, Bruno.editor.
Klett, Fanny.editor.
Abraham, Ajith.editor.
Snásel, Václav.editor.
Carvalho, André C.P.L.F.editor.
Bringas, Pablo García.editor.
Zelinka, Ivan.editor.
Quintián, Héctor.editor.
Corchado, Emilio.editor.
Soggetto non controllato Computational Intelligence
Artificial Intelligence (incl. Robotics)
Engineering
ISBN 9783319018546
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Evolutionary Computation and Optimization -- Intelligent Systems -- Applications -- Classification and Clustering Methods -- Systems, Man, and Cybernetics -- Data Mining for Industrial and Environmental Applications -- Soft Computing Methods in Bioinformatics -- Soft Computing Methods, Modeling and Simulation in Electrical Engineering -- Applications of Intelligent Methods for Security -- Infrastructure and Network Security -- Web 2.0.
Record Nr. UCHICAGO-9805732
[Herrero, Álvaro. editor]  
Risorse elettroniche
Lo trovi qui: University of Chicago
Computational collective intelligence [electronic resource] : Technologies and applications ; 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings / edited by Ngoc-Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz
Computational collective intelligence [electronic resource] : Technologies and applications ; 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings / edited by Ngoc-Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz
Creatore [ICCCI (Conference) (4th : 2012 : Ho Chi Minh City, Vietnam)]
Estensione 1 online resource (2 v.)
Accesso persona Nguyen, Ngoc Thanh (Computer scientist)
Hoang, Kiem
Jędrzejowicz, Piotr
Soggetto non controllato Computer science
Data mining
Information storage and retrieval systems
Computer vision
Artificial Intelligence (incl. Robotics)
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
User Interfaces and Human Computer Interaction
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642346309 (pt. 1 : electronic bk.)
9783642347078 (pt. 2 : electronic bk.)
3642346308 (pt. 1 : electronic bk.)
364234707X (pt. 2 : electronic bk.)
9783642346293 (pt. 1 : print)
9783642347061 pt. 2 : print)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9861308
[ICCCI (Conference) (4th : 2012 : Ho Chi Minh City, Vietnam)]  
Materiale a stampa
Lo trovi qui: Stanford University
Foundations of Knowledge Representation and Reasoning [electronic resource] / by Gerhard Lakemeyer, Bernhard Nebel
Foundations of Knowledge Representation and Reasoning [electronic resource] / by Gerhard Lakemeyer, Bernhard Nebel
Creatore [Lakemeyer, Gerhard]
Accesso persona Nebel, Bernhard
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
ISBN 9783540581079
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355224
[Lakemeyer, Gerhard]  
Software
Lo trovi qui: University of Chicago
Temporal Logic [electronic resource] : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / by Dov M. Gabbay, Hans J. Ohlbach
Temporal Logic [electronic resource] : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / by Dov M. Gabbay, Hans J. Ohlbach
Creatore [Gabbay, Dov M.]
Accesso persona Ohlbach, Hans J.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Database Management
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 9783540582410
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355242
[Gabbay, Dov M.]  
Software
Lo trovi qui: University of Chicago
Database and Expert Systems Applications [electronic resource] : 5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings / by Dimitris Karagiannis
Database and Expert Systems Applications [electronic resource] : 5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings / by Dimitris Karagiannis
Creatore [Karagiannis, Dimitris]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Business Information Systems
Database Management
Information Systems Applications (incl.Internet)
ISBN 9783540584353
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355269
[Karagiannis, Dimitris]  
Software
Lo trovi qui: University of Chicago
Methodologies for Intelligent Systems [electronic resource] : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings / by Zbigniew W. Ras, Maria Zemankova
Methodologies for Intelligent Systems [electronic resource] : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings / by Zbigniew W. Ras, Maria Zemankova
Creatore [Raś, Zbigniew W.]
Accesso persona Zemankova, Maria
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
ISBN 9783540584957
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355282
[Raś, Zbigniew W.]  
Software
Lo trovi qui: University of Chicago
Parallel, Distributed and Multiagent Production Systems [electronic resource] / by Toru Ishida
Parallel, Distributed and Multiagent Production Systems [electronic resource] / by Toru Ishida
Creatore [Ishida, Toru]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Business Information Systems
Computer-Aided Engineering (CAD, CAE) and Design
Control Engineering
Manufacturing, Machines, Tools
Software Engineering
ISBN 9783540586982
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355291
[Ishida, Toru]  
Software
Lo trovi qui: University of Chicago