12981 search results - page 2304 / 2597 » Model Checking (Abstract) |
109
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
180
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper presents a simple, yet effective method of building a codebook for pairs of spatially close SIFT descriptors. Integrating such codebook into the popular bag-o...
133
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this work the weighted minimal surface model traditionally used in multiview stereo is revisited. We propose to generalize the classical photoconsistency-weighted mini...
151
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. Peer-to-peer (P2P) applications are composed of a distributed collection of peers that cooperate in order to perform some common task. Though P2P applications have attrac...
120
Voted
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— This paper introduces a new packet marking algorithm that can be used in the context of Assured Forwarding (AF) in the Differentiated Services (DiffServ) framework [1],...