Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
2018
computer vision and pattern recognition
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

pubblicato su: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 2018

Bottoni Paolo Gaspare, Gorla Daniele, Kasangian Stefano, Labella Anna

Visual search and recognition for robot task execution and monitoring

pubblicato su: Applications of Intelligent Systems Proceedings of the 1st International APPIS Conference 2018 - 2018

Mauro Lorenzo, Puja Francesco, Grazioso Simone, Ntouskos Valsamis, Sanzari Marta, Alati Edoardo, Freda Luigi, Pirri Fiora

A note about k-DNF resolution

pubblicato su: INFORMATION PROCESSING LETTERS - 2018

CATALOGO IRIS SAPIENZA

Anno

(-) Remove 2018 filter 2018

Tipo pubblicazione

01 Pubblicazione su rivista (2) Apply 01 Pubblicazione su rivista filter
04 Pubblicazione in atti di convegno (1) Apply 04 Pubblicazione in atti di convegno filter

Rivista

INFORMATION PROCESSING LETTERS (1) Apply INFORMATION PROCESSING LETTERS filter
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (1) Apply MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE filter

Book

Applications of Intelligent Systems Proceedings of the 1st International APPIS Conference 2018 (1) Apply Applications of Intelligent Systems Proceedings of the 1st International APPIS Conference 2018 filter

Keywords

(-) Remove computer vision and pattern recognition filter computer vision and pattern recognition
Artificial Intelligence (1) Apply Artificial Intelligence filter
Computer Science Applications (1) Apply Computer Science Applications filter
computer science applications1707 (1) Apply computer science applications1707 filter
Computer Science - Artificial Intelligence (1) Apply Computer Science - Artificial Intelligence filter
Computer Science - Computer Vision and Pattern Recognition (1) Apply Computer Science - Computer Vision and Pattern Recognition filter
Computer Science - Robotics (1) Apply Computer Science - Robotics filter
k-DNF (1) Apply k-DNF filter
Mathematics (miscellaneous) (1) Apply Mathematics (miscellaneous) filter
Resolution (1) Apply Resolution filter
theory of computation (1) Apply theory of computation filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma