Sciweavers

5154 search results - page 155 / 1031
» Computing and using residuals in time series models
Sort
View
ISORC
2005
IEEE
16 years 20 days ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
BMCBI
2010
121views more  BMCBI 2010»
15 years 4 months ago
Computing DNA duplex instability profiles efficiently with a two-state model: trends of promoters and binding sites
Background: DNA instability profiles have been used recently for predicting the transcriptional start site and the location of core promoters, and to gain insight into promoter ac...
Miriam R. Kantorovitz, Zoi Rapti, Vladimir Gelev, ...
IANDC
2007
84views more  IANDC 2007»
15 years 7 months ago
The perfectly synchronized round-based model of distributed computing
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
CCGRID
2006
IEEE
16 years 1 months ago
Towards Soft Real-Time Applications on Enterprise Desktop Grids
— Desktop grids use the idle cycles of desktop PC’s to provide huge computational power at low cost. However, because the underlying desktop computing resources are volatile, a...
Derrick Kondo, Bruno Kindarji, Gilles Fedak, Franc...
ECCV
2008
Springer
16 years 9 months ago
Locating Facial Features with an Extended Active Shape Model
We make some simple extensions to the Active Shape Model of Cootes et al. [4], and use it to locate features in frontal views of upright faces. We show on independent test data tha...
Stephen Milborrow, Fred Nicolls