14382 search results - page 119 / 2877 » Time in Connectionist Models |
127
click to vote
ICFEM
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
139
click to vote
ICASSP
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, a novel non-stationary model of functional Magnetic Resonance Imaging (fMRI) time series is proposed. It allows us to account for some putative habituation effect a...
120
click to vote
IS
2011
14 years 8 months ago
2011
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
117
click to vote
CVPR
1999
IEEE
16 years 3 months ago
1999
IEEE
A common method for real-time segmentation of moving regions in image sequences involves "background subtraction," or thresholding the error between an estimate of the i...
126
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
- One of the critical issues in MTCMOS design is how to estimate a circuit delay quickly. In this paper, we propose a delay modeling and static timing analysis (STA) methodology ta...