6546 search results - page 1051 / 1310 » Improving the Performance of the RISE Algorithm |
136
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
169
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
Searching for images of people is an essential task for image and video search engines. However, current search engines have limited capabilities for this task since they rely on ...
158
click to vote
NCA
2007
IEEE
15 years 11 months ago
2007
IEEE
The advancement of optical networking technologies has enabled e-science applications that often require transport of large volumes of scientific data. In support of such data-in...
131
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
As one of the most effective query expansion approaches, local feedback is able to automatically discover new query terms and improve retrieval accuracy for different retrieval ...
175
click to vote
CIVR
2007
Springer
15 years 11 months ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...