Sciweavers

2711 search results - page 361 / 543
» Mapping sequences by parts
Sort
View
ICFEM
2004
Springer
15 years 12 months ago
Verifying a File System Implementation
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Ma...
ISAAC
2004
Springer
153views Algorithms» more  ISAAC 2004»
15 years 12 months ago
Canonical Data Structure for Interval Probe Graphs
The class of interval probe graphs is introduced to deal with the physical mapping and sequencing of DNA as a generalization of interval graphs. The polynomial time recognition al...
Ryuhei Uehara
ROBOCUP
2004
Springer
94views Robotics» more  ROBOCUP 2004»
15 years 12 months ago
Optic Flow Based Skill Learning for a Humanoid to Trap, Approach to, and Pass a Ball
Generation of a sequence of behaviors is necessary for the RoboCup Humanoid league to realize not simply a individual robot performance but also cooperative ones between robots. A ...
Masaki Ogino, Masaaki Kikuchi, Jun'ichiro Ooga, Ma...
3DIM
2003
IEEE
15 years 11 months ago
Silhouette and Stereo Fusion for 3D Object Modeling
In this paper, we present a new approach to high quality 3D object reconstruction. Starting from a calibrated sequence of color images, the algorithm is able to reconstruct both t...
Carlos Hernández Esteban, Francis Schmitt
CVPR
2003
IEEE
15 years 11 months ago
Appearance Management and Cue Fusion for 3D Model-Based Tracking
This paper presents a systematic approach to acquiring model appearance information online for monocular modelbased tracking. The acquired information is used to drive a set of co...
Nils Krahnstoever, Rajeev Sharma