5154 search results - page 194 / 1031 » Computing and using residuals in time series models |
182
click to vote
ISPD
2003
ACM
16 years 14 days ago
2003
ACM
Delay evaluation is always a crucial concern in the VLSI design and it becomes increasingly more critical in the nowadays deep-submicron technology. To obtain an accurate delay va...
205
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Remote homology detection is a challenging problem in Bioinformatics. Arguably, profile Hidden Markov Models (pHMMs) are one of the most successful approaches in addre...
184
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
We study retinal curvature estimation from multiple images that provides the fundamental geometry of human retina. We use an affine camera model due to its simplicity, linearity, ...
256
click to vote
DLT
2009
15 years 5 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
190
click to vote
BIB
2007
15 years 7 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...