Sciweavers

3481 search results - page 403 / 697
» A New Approach to Component Testing
Sort
View
COMBINATORICS
2004
102views more  COMBINATORICS 2004»
15 years 6 months ago
Satisfiability and Computing van der Waerden Numbers
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
Michael R. Dransfield, Lengning Liu, Victor W. Mar...
TVCG
2012
187views Hardware» more  TVCG 2012»
13 years 9 months ago
Effective Replays and Summarization of Virtual Experiences
—Direct replays of the experience of a user in a virtual environment are difficult for others to watch due to unnatural camera motions. We present methods for replaying and summ...
Kevin Ponto, Joe Kohlmann, Michael Gleicher
CVPR
2007
IEEE
16 years 8 months ago
Joint Object Segmentation and Behavior Classification in Image Sequences
In this paper, we propose a general framework for fusing bottom-up segmentation with top-down object behavior classification over an image sequence. This approach is beneficial fo...
Laura Gui, Jean-Philippe Thiran, Nikos Paragios
DATE
2008
IEEE
143views Hardware» more  DATE 2008»
16 years 1 months ago
Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming
Multi-input addition is an important operation for many DSP and video processing applications. On FPGAs, multi-input addition has traditionally been implemented using trees of car...
Hadi Parandeh-Afshar, Philip Brisk, Paolo Ienne
CIVR
2005
Springer
130views Image Analysis» more  CIVR 2005»
16 years 4 days ago
Improvement on PCA and 2DPCA Algorithms for Face Recognition
Principle Component Analysis (PCA) technique is an important and well-developed area of image recognition and to date many linear discrimination methods have been put forward. Desp...
Vo Dinh Minh Nhat, Sungyoung Lee