249 search results - page 43 / 50 » Test Coverage Analysis and Preservation for Requirements-Bas... |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Wireless sensor networks have been deployed for various critical monitoring applications in hostile environments such as monitoring the concentration levels of hazardous gas sp...
CAGD
2005
13 years 7 months ago
2005
In this paper, we propose a sharpness dependent filter design based on the fairing of surface normal, whereby the filtering algorithm automatically selects a filter. This may be a...
BMCBI
2011
12 years 11 months ago
2011
Background: The popularity of massively parallel exome and transcriptome sequencing projects demands new data mining tools with a comprehensive set of features to support a wide r...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
A query independent feature, relating perhaps to document content, linkage or usage, can be transformed into a static, per-document relevance weight for use in ranking. The challe...
DAGSTUHL
2006
13 years 9 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...