8294 search results - page 1556 / 1659 » Presenting Data from Experiments in Algorithmics |
136
Voted
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
141
click to vote
TROB
2008
15 years 4 months ago
2008
In formation-maintenance (formation control) tasks, robots maintain their relative position with respect to their peers, according to a desired geometric shape. Previous work has e...
151
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper presents a systematic in-depth study on the existence, importance, and application of stable nodes in peerto-peer live video streaming. Using traces from a real large...
137
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
162
click to vote
ICMI
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the Visual Touchpad, a low-cost vision-based input device that allows for fluid two-handed interactions with desktop PCs, laptops, public kiosks, or large wall...