Sciweavers

5414 search results - page 884 / 1083
» Data representation synthesis
Sort
View
ICRA
2008
IEEE
127views Robotics» more  ICRA 2008»
16 years 1 months ago
New framework for Simultaneous Localization and Mapping: Multi map SLAM
—The main contribution of this paper arises from the development of a new framework, which has its inspiration in the mechanics of human navigation, for solving the problem of Si...
Damith Chandana Herath, Sarath Kodagoda, Gamini Di...
ICTAI
2008
IEEE
16 years 29 days ago
Information Extraction as an Ontology Population Task and Its Application to Genic Interactions
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
Alain-Pierre Manine, Érick Alphonse, Philip...
SIBGRAPI
2008
IEEE
16 years 28 days ago
PCA-Based 3D Face Photography
This paper presents a 3D face photography system based on a small set of training facial range images. The training set is composed by 2D texture and 3D range images (i.e. geometr...
Jesus P. Mena-Chalco, Ives Macedo, Luiz Velho, Rob...
AINA
2007
IEEE
16 years 27 days ago
A Class-Based Search System in Unstructured P2P Networks
— Efficient searching is one of the important design issues in peer-to-peer (P2P) networks. Among various searching techniques, semantic-based searching has drawn significant a...
Juncheng Huang, Xiuqi Li, Jie Wu
CAV
2007
Springer
108views Hardware» more  CAV 2007»
16 years 22 days ago
Systematic Acceleration in Regular Model Checking
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
Bengt Jonsson, Mayank Saksena