503 search results - page 69 / 101 » Verifying Quantitative Properties Using Bound Functions |
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
We present an energy based automatic image segmentation algorithm that uses a novel active contour scheme, called the stochastic active contour scheme (STACS). The algorithm overc...
BIBE
2005
IEEE
15 years 3 months ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
WINET
2010
14 years 8 months ago
2010
This paper proposes a secure encrypted-data aggregation scheme for wireless sensor networks. Our design for data aggregation eliminates redundant sensor readings without using encr...
SACMAT
2005
ACM
15 years 3 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...