Sciweavers

3233 search results - page 214 / 647
» Validation Method for Intelligent Systems
Sort
View
ICCV
2003
IEEE
16 years 5 months ago
Scene Modeling Based on Constraint System Decomposition Techniques
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
Marta Wilczkowiak, Gilles Trombettoni, Christophe ...
DATE
2009
IEEE
180views Hardware» more  DATE 2009»
15 years 10 months ago
FSAF: File system aware flash translation layer for NAND Flash Memories
NAND Flash Memories require Garbage Collection (GC) and Wear Leveling (WL) operations to be carried out by Flash Translation Layers (FTLs) that oversee flash management. Owing to ...
Sai Krishna Mylavarapu, Siddharth Choudhuri, Avira...
BIRTHDAY
2007
Springer
15 years 10 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ICRA
2005
IEEE
158views Robotics» more  ICRA 2005»
15 years 9 months ago
Ball Detection and Predictive Ball Following Based on a Stereoscopic Vision System
— In this paper we describe an efficient software architecture for object-tracking, based on a stereoscopic vision system, that has been applied to a mobile robot controlled by ...
Davide Scaramuzza, Stefano Pagnottelli, Paolo Vali...
ICCV
2003
IEEE
15 years 9 months ago
Plane-based Calibration Algorithm for Multi-camera Systems via Factorization of Homography Matrices
A new calibration algorithm for multi-camera systems using a planar reference pattern is proposed. The algorithm is an extension of Sturm-Maybank-Zhang style plane-based calibrati...
Toshio Ueshiba, Fumiaki Tomita