16404 search results - page 435 / 3281 » A set coverage problem |
151
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
191
Voted
AIIA
1997
Springer
15 years 11 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
137
click to vote
AIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
181
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
157
Voted
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
It has been observed that precision increases with collection size. One explanation could be that the redundancy of information increases, making it easier to find multiple docum...