Sciweavers

4636 search results - page 238 / 928
» Modelling and Validation with VipTool
Sort
View
ISBI
2008
IEEE
14 years 9 months ago
An accurate PSF model with few parameters for axially shift-variant deconvolution
Accurate knowledge of an imaging system's point spread function (PSF) is crucial for successful deconvolution. For fluorescence microscopy, PSF estimations based on either th...
François Aguet, Dimitri Van De Ville, Micha...
BSN
2009
IEEE
140views Sensor Networks» more  BSN 2009»
14 years 3 months ago
A Distributed Hidden Markov Model for Fine-grained Annotation in Body Sensor Networks
—Human movement models often divide movements into parts. In walking the stride can be segmented into four different parts, and in golf and other sports, the swing is divided int...
Eric Guenterberg, Hassan Ghasemzadeh, Roozbeh Jafa...
VMCAI
2009
Springer
14 years 3 months ago
Model-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
Andy Galloway, Gerald Lüttgen, Jan Tobias M&u...
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
14 years 2 months ago
Modeling mobile robot motion with polar representations
— This article compares several parameterizations and motion models for improving the estimation of the nonlinear uncertainty distribution produced by robot motion. In previous w...
Joseph Djugash, Sanjiv Singh, Ben Grocholsky
FGR
2008
IEEE
266views Biometrics» more  FGR 2008»
14 years 2 months ago
Bilinear elastically deformable models with application to 3D face and facial expression recognition
In this paper, we explore bilinear and elastically deformable models for addressing jointly 3-dimensional face and facial expression recognition. An elastically deformable model i...
Iordanis Mpiperis, Sotiris Malassiotis, Michael G....