145 search results - page 24 / 29 » Streaming State Space: A Method of Distributed Model Verific... |
119
click to vote
SIGOPS
2010
14 years 11 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
106
click to vote
CVPR
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper we perform 3D face tracking on corrupted video sequences. We use a deformable model, combined with a predictive filter, to recover both the rigid transformations and...
134
click to vote
KDD
2004
ACM
16 years 1 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...
136
click to vote
JCNS
2000
15 years 1 months ago
2000
We explore a computationally efficient method of simulating realistic networks of neurons introduced by Knight, Manin, and Sirovich (1996) in which integrate-and-fire neurons are ...
140
click to vote
PE
2011
Springer
14 years 8 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...