2488 search results - page 318 / 498 » An improvement in formal verification |
103
click to vote
DAGSTUHL
2006
15 years 3 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...
111
click to vote
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
We propose a subspace learning algorithm for face recognition by directly optimizing recognition performance scores. Our approach is motivated by the following observations: 1) Di...
134
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
119
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
110
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
Web-page classification is much more difficult than pure-text classification due to a large variety of noisy information embedded in Web pages. In this paper, we propose a new Web...