Sciweavers

868 search results - page 125 / 174
» Unification of Temporal Data Models
Sort
View
107
Voted
NIPS
2008
15 years 2 months ago
Offline Handwriting Recognition with Multidimensional Recurrent Neural Networks
Offline handwriting recognition--the transcription of images of handwritten text--is an interesting task, in that it combines computer vision with sequence learning. In most syste...
Alex Graves, Jürgen Schmidhuber
FDL
2008
IEEE
15 years 28 days ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
FAC
2007
128views more  FAC 2007»
15 years 22 days ago
Verifying a signature architecture: a comparative case study
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
135
Voted
FCSC
2010
238views more  FCSC 2010»
14 years 10 months ago
Knowledge discovery through directed probabilistic topic models: a survey
Graphical models have become the basic framework for topic based probabilistic modeling. Especially models with latent variables have proved to be effective in capturing hidden str...
Ali Daud, Juanzi Li, Lizhu Zhou, Faqir Muhammad
115
Voted
ICML
2007
IEEE
16 years 1 months ago
Bayesian actor-critic algorithms
We1 present a new actor-critic learning model in which a Bayesian class of non-parametric critics, using Gaussian process temporal difference learning is used. Such critics model ...
Mohammad Ghavamzadeh, Yaakov Engel