Author of the publication

Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks.

, , , , , , and . ICANN (3), volume 11729 of Lecture Notes in Computer Science, page 472-483. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ideal Paraconsistent Logics., , and . Studia Logica, 99 (1-3): 31-60 (2011)A framework for reasoning under uncertainty based on non-deterministic distance semantics., and . Int. J. Approx. Reasoning, 52 (2): 184-211 (2011)Simplified forms of computerized reasoning with distance semantics., and . J. Applied Logic, 9 (1): 1-22 (2011)Towards a general formal framework of Coherence Management in RE., , and . RE, page 274-277. IEEE Computer Society, (2015)Cognitive factors in inconsistency management., and . RE, page 226-229. IEEE Computer Society, (2015)Teaching of Formal Methods for Software Engineering., and . ENASE, page 370-376. SciTePress, (2016)A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics., and . CSR, volume 5010 of Lecture Notes in Computer Science, page 52-63. Springer, (2008)Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements., , and . BMMDS/EMMSAD, volume 214 of Lecture Notes in Business Information Processing, page 311-325. Springer, (2015)A Set-based Logical Language for Specification of Combinatorial Models., and . ACSW, page 57:1-57:4. ACM, (2019)Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination., and . LFCS, volume 5407 of Lecture Notes in Computer Science, page 31-45. Springer, (2009)