BibSonomy :: author  ::

bookmarks

publications

(10)

• Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
  Davide Bresolin and Dario Della Monica and Valentin Goranko and Angelo Montanari and Guido Sciavicco LPAR 590-604 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
  Davide Bresolin and Angelo Montanari and Pietro Sala and Guido Sciavicco JELIA 62-75 (2008)
  to dblp by dblp on 2008-10-01 00:00:00
  | URL | BibTeX  
• A New Hierarchical Decision Structure Using Wavelet Packet and SVM for Brazilian Phonemes Recognition.
  Adriano de Andrade Bresolin and Adrião Duarte Dória Neto and Pablo Javier Alsina ICONIP (2) 159-166 (2006)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• European and American Audio-Visual Speech Recognition, Using SVM in Portuguese Language.
  Adriano de Andrade Bresolin and Diamantino Rui da Silva Freitas and Adrião Duarte Dória Neto and Pablo Javier Alsina DCC 511 (2008)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
  Davide Bresolin and Valentin Goranko and Angelo Montanari and Pietro Sala TABLEAUX 73-89 (2007)
  to dblp by dblp on 2007-09-20 00:00:00
  | URL | BibTeX  
• An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
  Davide Bresolin and Angelo Montanari and Guido Sciavicco J. Autom. Reasoning 38 173-199 (2007)
  to dblp by dblp on 2007-09-18 00:00:00
  | URL | BibTeX  
• On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
  Davide Bresolin and Valentin Goranko and Angelo Montanari and Guido Sciavicco LFCS 84-99 (2007)
  to dblp by dblp on 2007-07-03 00:00:00
  | URL | BibTeX  
• An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.
  Davide Bresolin and Angelo Montanari and Pietro Sala STACS 549-560 (2007)
  to dblp by dblp on 2007-05-27 00:00:00
  | URL | BibTeX  
• A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.
  Davide Bresolin and Angelo Montanari TABLEAUX 63-77 (2005)
  to dblp by dblp on 2005-09-27 00:00:00
  | URL | BibTeX  
• Time Granularities and Ultimately Periodic Automata.
  Davide Bresolin and Angelo Montanari and Gabriele Puppis JELIA 513-525 (2004)
  to dblp by dblp on 2004-09-13 00:00:00
  | URL | BibTeX