Sciweavers

886 search results - page 130 / 178
» From Detecting Errors to Automatically Correcting Them
Sort
View
IJCV
2007
136views more  IJCV 2007»
13 years 7 months ago
Image Registration of Sectioned Brains
The physical (microtomy), optical (microscopy), and radiologic (tomography) sectioning of biological objects and their digitization lead to stacks of images. Due to the sectioning ...
Oliver Schmitt, Jan Modersitzki, Stefan Heldmann, ...
CVPR
2003
IEEE
14 years 1 months ago
Continuous Tracking Within and Across Camera Streams
This paper presents a new approach for continuous tracking of moving objects observed by multiple, heterogeneous cameras. Our approach simultaneously processes video streams from ...
Jinman Kang, Isaac Cohen, Gérard G. Medioni
ESOP
2005
Springer
14 years 1 months ago
Asserting Bytecode Safety
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
Martin Wildmoser, Tobias Nipkow
BMCBI
2006
109views more  BMCBI 2006»
13 years 8 months ago
An integrated system for genetic analysis
Background: Large-scale genetic mapping projects require data management systems that can handle complex phenotypes and detect and correct high-throughput genotyping errors, yet a...
Simon Fiddy, David Cattermole, Dong Xie, Xiao Yuan...
FGR
2006
IEEE
156views Biometrics» more  FGR 2006»
14 years 2 months ago
A Realtime Shrug Detector
A realtime system for shrug detection is discussed in this paper. The system is automatically initialized by a face detector based on Ada-boost[14]. After frontal face is localize...
Huazhong Ning, Tony X. Han, Yuxiao Hu, ZhenQiu Zha...