3082 search results - page 587 / 617 » Deviation Analysis: A New Use of Model Checking |
KDD
2004
ACM
16 years 5 days ago
2004
ACM
Astronomy increasingly faces the issue of massive datasets. For instance, the Sloan Digital Sky Survey (SDSS) has so far generated tens of millions of images of distant galaxies, ...
114
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Modelling the ligand binding site of a protein is an important component of understanding proteinligand interactions and is being actively studied. Even if the side ch...
109
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
112
click to vote
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
118
click to vote
IWVF
2001
Springer
15 years 4 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...