9849 search results - page 1641 / 1970 » Algorithms and Experiments for the Webgraph |
187
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
162
click to vote
RTCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose an efficient strategy for resource management for scalable QoS guaranteed real-time communication services. This strategy is based on sink trees, and is particularly we...
150
click to vote
SMILE
2000
Springer
15 years 10 months ago
2000
Springer
A frame decimation scheme is proposed that makes automatic extraction of Structure and Motion (SaM) from handheld sequences more practical. Decimation of the number of frames used...
174
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Many interfaces allow users to manipulate graphical objects, icons representing underlying data or the data themselves, against a spatial backdrop or canvas. Users take advantage ...
225
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
Nearest neighbor search in high dimensional spaces is an interesting and important problem which is relevant for a wide variety of novel database applications. As recent results s...