724 search results - page 112 / 145 » Practical Performance of Efficient Minimum Cut Algorithms |
137
click to vote
PVLDB
2008
15 years 2 months ago
2008
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...
122
click to vote
IDEAL
2009
Springer
15 years 25 days ago
2009
Springer
In any medical data analysis a good visualization of specific parts or tissues are fundamental in order to perform accurate diagnosis and treatments. For a better understanding of ...
127
click to vote
GCC
2006
Springer
15 years 6 months ago
2006
Springer
Network coordinates provide a practical and efficient way to estimate latencies among hosts in the network. In this paper, we study the problem of designing and implementing a Net...
130
click to vote
ISER
2000
Springer
15 years 6 months ago
2000
Springer
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
134
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...