Sciweavers

593 search results - page 33 / 119
» Semantics-Preserving Procedure Extraction
Sort
View
ACCV
2007
Springer
15 years 9 months ago
Multi-posture Human Detection in Video Frames by Motion Contour Matching
In the paper, we proposed a method for moving human detection in video frames by motion contour matching. Firstly, temporal and spatial difference of frames is calculated and conto...
Qixiang Ye, Jianbin Jiao, Hua Yu
IROS
2006
IEEE
205views Robotics» more  IROS 2006»
15 years 9 months ago
Good Image Features for Bearing-only SLAM
Abstract— In this paper, we propose an algorithm for extracting and selecting SIFT (scale-invariant feature transform) visual features for bearing-only SLAM in indoor environment...
Xiang Wang, Hong Zhang
MVA
2007
154views Computer Vision» more  MVA 2007»
15 years 4 months ago
Fisher Non-negative Matrix Factorization with Pairwise Weighting
Non-negative matrix factorization (NMF) is a powerful feature extraction method for finding parts-based, linear representations of non-negative data . Inherently, it is unsupervis...
Xi Li, Kazuhiro Fukui
APAL
2005
107views more  APAL 2005»
15 years 3 months ago
Uniform Heyting arithmetic
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
Ulrich Berger
125
Voted
RE
2007
Springer
15 years 9 months ago
Improving Performance Requirements Specifications from Field Failure Reports
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...
Chih-Wei Ho, Laurie Williams, Annie I. Antó...