Sciweavers

3608 search results - page 422 / 722
» computing 2011
Sort
View
EUROSYS
2011
ACM
14 years 8 months ago
Symbolic crosschecking of floating-point and SIMD code
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
Peter Collingbourne, Cristian Cadar, Paul H. J. Ke...
GRAPHICSINTERFACE
2011
14 years 8 months ago
Towards ideal window layouts for multi-party, gaze-aware desktop videoconferencing
In high-end desktop videoconferencing systems, several windows compete for screen space, particularly when users also share an application. Ideally, the layout of these windows sh...
Sasa Junuzovic, Kori Inkpen, Rajesh Hegde, Zhengyo...
IBPRIA
2011
Springer
14 years 8 months ago
The Fast and the Flexible: Extended Pseudo Two-Dimensional Warping for Face Recognition
Abstract. In this work, we propose a novel extension of pseudo 2D image warping (P2DW) which allows for joint alignment and recognition of non-rectified face images. P2DW allows f...
Leonid Pishchulin, Tobias Gass, Philippe Dreuw, He...
ICCV
2011
IEEE
14 years 4 months ago
Unwrapping Low-rank Textures on Generalized Cylindrical Surfaces
In this paper, we show how to reconstruct both 3D shape and 2D texture of a class of surfaces from a single perspective image. We consider the so-called the generalized cylindrica...
Zhengdong Zhang, Xiao Liang, Yi Ma
CCECE
2011
IEEE
14 years 4 months ago
Towards a portable, memory-efficient test system for Conducted Energy Weapons
We present a readily portable, memory-efficient performance test system (PTS) for Tasers. The proposed PTS has been developped for the most widely used Conducted Energy Weapons (...
Peyman Rahmati, David Dawson, Andy Adler