8746 search results - page 453 / 1750 » Diversifying search results |
188
click to vote
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
213
click to vote
SIGIR
2005
ACM
16 years 18 days ago
2005
ACM
Collection selection has been a research issue for years. Typically, in related work, precomputed statistics are employed in order to estimate the expected result quality of each ...
194
click to vote
SIGIR
2005
ACM
16 years 18 days ago
2005
ACM
Different from traditional information retrieval, both content and structure are critical to the success of Web information retrieval. In recent years, many relevance propagation ...
161
click to vote
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper considers the problem of self-calibration of a camera from an image sequence in the case where the camera's internal parameters (most notably focal length) may cha...
211
click to vote
CG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. There are two complementary approaches to playing sums of combinatorial games. They can be characterized as local analysis and global search. Algorithms from combinatoria...