Sciweavers

1165 search results - page 92 / 233
» Effective linear programming based placement methods
Sort
View
119
Voted
HCI
2009
15 years 8 days ago
The Pluses and Minuses of Obtaining Measurements from Digital Scans
Digital scanners are commonplace and are used in many different applications to obtain three-dimensional shapes and linear and circumferential measurements. Even though scanners ca...
Ravindra S. Goonetilleke, Channa P. Witana, Jianhu...
128
Voted
ICASSP
2010
IEEE
15 years 1 months ago
2-D two-fold symmetric circular shaped filter design with homomorphic processing application
A design method of a linear-phased, two-dimensional (2-D), twofold symmetric circular shaped filter is presented in this paper. Although the proposed method designs a non-separab...
Akila J. Seneviratne, Ha Hoang Kha, Hoang Duong Tu...
ICIP
2002
IEEE
16 years 4 months ago
A kernel machine based approach for multi-view face recognition
Techniques that can introduce low-dimensional feature representation with enhanced discriminatory power is of paramount importance in face recognition applications. It is well kno...
Juwei Lu, Kostas N. Plataniotis, Anastasios N. Ven...
CVPR
2012
IEEE
13 years 5 months ago
Random walks based multi-image segmentation: Quasiconvexity results and GPU-based solutions
We recast the Cosegmentation problem using Random Walker (RW) segmentation as the core segmentation algorithm, rather than the traditional MRF approach adopted in the literature s...
Maxwell D. Collins, Jia Xu, Leo Grady, Vikas Singh
122
Voted
AICOM
2010
127views more  AICOM 2010»
15 years 2 months ago
Interactive verification of concurrent systems using symbolic execution
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
Simon Bäumler, Michael Balser, Florian Nafz, ...