9898 search results - page 555 / 1980 » Measuring Multicore Performance |
145
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
148
click to vote
PAKDD
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. This paper shows how Wikipedia and the semantic knowledge it contains can be exploited for document clustering. We first create a concept-based document representation b...
156
Voted
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present an approach for localizing a sensor network augmented with a mobile robot which is capable of providing inter-sensor pose estimates through its odometr...
159
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we address the problem of image sequence segmentation with dynamical shape priors. While existing formulations are typically based on hard decisions, we propose a fo...
163
click to vote
WIDM
2009
ACM
16 years 28 days ago
2009
ACM
In this paper we introduce a novel approach for the thematic organization of bibliographic records that builds upon a semantic relatedness measure we have implemented for this tas...