6941 search results - page 580 / 1389 » Testing as a Certification Approach |
198
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
193
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Mobile robots operating in populated environments typically can improve their service and navigation behavior when they know where people are in their vicinity and in which dir...
168
click to vote
KCAP
2005
ACM
16 years 20 days ago
2005
ACM
Extensive and deep paraphrase corpora are important for a variety of natural language processing and user interaction tasks. In this paper, we present an approach which i) collect...
204
click to vote
CIKM
2004
Springer
16 years 15 days ago
2004
Springer
Comparing retrieval approaches requires test collections, which consist of documents, queries and relevance assessments. Obtaining consistent and exhaustive relevance assessments ...
151
click to vote
FASE
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...