Sciweavers

890 search results - page 42 / 178
» Improving the Consistency of Relative Map
Sort
View
SEMWEB
2009
Springer
14 years 3 months ago
Lily: Ontology Alignment Results for OAEI 2009
This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...
Peng Wang, Baowen Xu
CLEF
2005
Springer
14 years 2 months ago
A Corpus-Based Relevance Feedback Approach to Cross-Language Image Retrieval
This paper regards images with captions as a cross-media parallel corpus, and presents a corpus-based relevance feedback approach to combine the results of visual and textual runs....
Yih-Chen Chang, Wen-Cheng Lin, Hsin-Hsi Chen
DATE
2003
IEEE
91views Hardware» more  DATE 2003»
14 years 1 months ago
Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
Vladimir D. Zivkovic, Erwin A. de Kock, Pieter van...
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
14 years 1 months ago
Autonomous feature-based exploration
: The performance of single-camera SLAM is improved when wide-angle optics provide a field of view greater than the 40 to 50 degrees lenses normally used in computer vision. The is...
Paul M. Newman, Michael Bosse, John J. Leonard
WADT
2001
Springer
14 years 28 days ago
Verifying a Simple Pipelined Microprocessor Using Maude
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
Neal A. Harman