3082 search results - page 405 / 617 » Deviation Analysis: A New Use of Model Checking |
178
click to vote
CAD
2005
Springer
15 years 6 months ago
2005
Springer
CAD has been traditionally used to assist in engineering design and modeling for representation, analysis and manufacturing. Advances in Information Technology and in Biomedicine ...
213
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...
181
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper we investigate shape and motion retrieval in the context of multi-camera systems. We propose a new lowlevel analysis based on latent silhouette cues, particularly su...
301
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Temporal data analysis in data warehouses and data streaming systems often uses time decay to reduce the importance of older tuples, without eliminating their influence, on the res...
187
click to vote
ISMB
1994
15 years 7 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...