6941 search results - page 740 / 1389 » Testing as a Certification Approach |
209
Voted
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
158
Voted
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
Selecting a region of interest (ROI) within unsegmented volume data is one of the fundamental operations in volume data processing and analysis, yet it is difficult to perform the...
176
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. This paper proposes a neural network based approach to search for a globa...
174
Voted
WWW
2007
ACM
16 years 8 months ago
2007
ACM
We develop a novel framework for the page-level template detection problem. Our framework is built on two main ideas. The first is the automatic generation of training data for a ...
316
click to vote
CC
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...