Sciweavers

898 search results - page 91 / 180
» Using objects and patterns to implement domain ontologies
Sort
View
PPOPP
2006
ACM
14 years 3 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
IROS
2006
IEEE
135views Robotics» more  IROS 2006»
14 years 3 months ago
Real-time 3D SLAM for Humanoid Robot considering Pattern Generator Information
Abstract— Humanoid robotics and SLAM (Simultaneous Localisation and Mapping) are certainly two of the most significant themes of the current worldwide robotics research effort, ...
Olivier Stasse, Andrew J. Davison, Ramzi Sellaouti...
CIVR
2007
Springer
126views Image Analysis» more  CIVR 2007»
14 years 3 months ago
Image annotation: which approach for realistic databases?
This paper describes an efficient approach to image annotation. It ranked first on the recent scene categorization track of the ImagEVAL1 benchmark. We show how homogeneous globa...
Nicolas Hervé, Nozha Boujemaa
CIVR
2005
Springer
144views Image Analysis» more  CIVR 2005»
14 years 2 months ago
A Weakly Supervised Approach for Semantic Image Indexing and Retrieval
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
Nicolas Maillot, Monique Thonnat
OOPSLA
2007
Springer
14 years 3 months ago
OOMatch: pattern matching as dispatch in Java
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
Adam Richard, Ondrej Lhoták