60 search results - page 10 / 12 » HOL Light: An Overview |
ECIS
2001
14 years 11 months ago
2001
A range of influences, technical and organizational, has encouraged the wide spread adaption of Enterprise Systems (ES). Nevertheless, there is a growing consensus that Enterprise...
JUCS
2008
14 years 9 months ago
2008
: BigBatch is an image processing environment designed to process batches of thousands of monochromatic documents. One of the flexibilities and pioneer aspects of BigBatch is offer...
DATAMINE
1998
14 years 9 months ago
1998
The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-...
BMVC
2010
14 years 7 months ago
2010
This paper presents a new descriptor for human detection in still images. It is referred to as isotropic granularity-tunable gradients partition (IGGP), which is extended from gra...
101
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
We present a method for retexturing non-rigid objects from a single viewpoint. Without reconstructing 3D geometry, we create realistic video with shape cues at two scales. At a coa...