1620 search results - page 223 / 324 » Testing Polymorphic Properties |
137
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
130
click to vote
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Segmenting arbitrary unions of linear subspaces is an important tool for computer vision tasks such as motion and image segmentation, SfM or object recognition. We segment subspac...
143
Voted
FGR
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a new method for viewpoint independent markerless gait analysis. The system uses a single camera, does not require camera calibration and works with a wide range of dir...
127
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes the development of reliable and valid scales for assessing the strategic potential of IT-enabled resources. Following to the resource-based view of the firm (...
133
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Conditional Random Fields (CRFs) are often estimated using an entropy based criterion in combination with Generalized Iterative Scaling (GIS). GIS offers, upon others, the immedi...