3333 search results - page 488 / 667 » Abstract Proof Search |
151
click to vote
WEBI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Thanks to the recent explosive progress of WWW (WorldWide Web), we can easily access a large number of images from WWW. There are, however, no established methods to make...
136
click to vote
NOMS
2000
IEEE
15 years 10 months ago
2000
IEEE
Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficien...
159
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
We consider the problem of timing analysis in the presence of known false paths. The main difficulty in adaptation of classical breadth-first search to the problem is that at each...
153
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
162
click to vote
CLEF
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The problem of nding documents that are written in a language that the searcher cannot read is perhaps the most challenging application of Cross-Language Information Retr...