Sciweavers

2020 search results - page 319 / 404
» PAPER - Accelerating parallel evaluations of ROCS
Sort
View
132
Voted
SAC
2010
ACM
15 years 11 months ago
Checking concurrent contracts with aspects
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
Eric Kerfoot, Steve McKeever
ICRA
2009
IEEE
83views Robotics» more  ICRA 2009»
15 years 10 months ago
Real-time correlative scan matching
— Scan matching, the problem of registering two laser scans in order to determine the relative positions from which the scans were obtained, is one of the most heavily relied-upo...
Edwin B. Olson
ICRA
2009
IEEE
204views Robotics» more  ICRA 2009»
15 years 10 months ago
A high-speed multi-GPU implementation of bottom-up attention using CUDA
— In this paper a novel implementation of the saliency map model on a multi-GPU platform using CUDA technology is presented. The saliency map model is a wellknown computational m...
Tingting Xu, Thomas Pototschnig, Kolja Kühnle...
ISORC
2009
IEEE
15 years 10 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
ADMA
2009
Springer
145views Data Mining» more  ADMA 2009»
15 years 10 months ago
A Framework for Multi-Objective Clustering and Its Application to Co-Location Mining
The goal of multi-objective clustering (MOC) is to decompose a dataset into similar groups maximizing multiple objectives in parallel. In this paper, we provide a methodology, arch...
Rachsuda Jiamthapthaksin, Christoph F. Eick, Ricar...