1054 search results - page 156 / 211 » From a Verified Kernel towards Verified Systems |
187
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper presents a realtime, incremental multibody visual SLAM system that allows choosing between full 3D reconstruction or simply tracking of the moving objects. Motion recon...
170
click to vote
SASO
2009
IEEE
16 years 26 days ago
2009
IEEE
An optimal sensor layout is attained when a limited number of sensors are placed in an area such that the cost of the placement is minimised while the value of the obtained inform...
169
click to vote
SEMWEB
2009
Springer
16 years 20 days ago
2009
Springer
The Automated Semantic Mapping of Ontologies with Validation (ASMOV) algorithm for ontology alignment was one of the top performing algorithms in the 2007 and 2008 Ontology Alignme...
167
click to vote
AICCSA
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
141
click to vote
ICRA
2008
IEEE
16 years 17 days ago
2008
IEEE
—Terrain variations can greatly influence autonomous ground vehicle (AGV) performance. However, if the terrain is properly identified, the AGV control systems can be adjusted to ...