14382 search results - page 199 / 2877 » Time in Connectionist Models |
214
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Many human action recognition tasks involve data that can be factorized into multiple views such as body postures and hand shapes. These views often interact with each other over ...
219
click to vote
JMLR
2012
13 years 9 months ago
2012
We present an algorithm for fast posterior inference in penalized high-dimensional state-space models, suitable in the case where a few measurements are taken in each time step. W...
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
183
click to vote
FUIN
2007
15 years 6 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
169
click to vote
CSREAESA
2008
15 years 8 months ago
2008
This paper discusses why the extensive scientific results on predicting embedded systems temporal behavior never, or very seldom, reaches the industrial community. We also point ou...