12953 search results - page 2562 / 2591 » The Globe Distribution Network |
153
click to vote
EUROCAST
1997
Springer
15 years 6 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
147
click to vote
ICALP
1993
Springer
15 years 6 months ago
1993
Springer
The divide-and-conquer principle is a majoi paradigm of algorithms design. Corresponding cost functions satisfy recurrences that directly reflect the decomposition mechanism used i...
151
click to vote
SIGIR
1993
ACM
15 years 6 months ago
1993
ACM
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...
120
click to vote
AMOST
2007
ACM
15 years 5 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
120
Voted
CODES
2007
IEEE
15 years 5 months ago
2007
IEEE
For the worst-case execution time (WCET) analysis, especially loops are an inherent source of unpredictability and loss of precision. This is caused by the difficulty to obtain sa...