626 search results - page 114 / 126 » When Can Formal Methods Make a Real Difference |
136
Voted
BSN
2009
IEEE
15 years 10 months ago
2009
IEEE
—Falls are dangerous for the aged population as they can adversely affect health. Therefore, many fall detection systems have been developed. However, prevalent methods only use ...
126
click to vote
JMM2
2006
15 years 3 months ago
2006
Abstract-- In general automatic face classification applications images are captured in natural environments. In these cases, the performance is affected by variations in facial im...
145
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
128
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Mass spectrometry (MS) is an essential analytical tool in proteomics. Many existing algorithms for peptide detection are based on isotope template matching and usually...
122
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract— Large graph datasets are ubiquitous in many domains, including social networking and biology. Graph summarization techniques are crucial in such domains as they can ass...