Sciweavers

3690 search results - page 291 / 738
» Computation with classical sequents
Sort
View
AINA
2007
IEEE
15 years 11 months ago
Event based Extensible Interactive Transparent Networking: Performance Study with Fast TCP Principles
Interactive Transparent Networking has been proposed to support a new generation of symbiotic applications that require advance interaction with the Network. In this mode advanced...
Javed I. Khan, Pradeep K. Punnam, Raid Zaghal
ARITH
2007
IEEE
15 years 11 months ago
Performing Advanced Bit Manipulations Efficiently in General-Purpose Processors
This paper describes a new basis for the implementation of a shifter functional unit. We present a design based on the inverse butterfly and butterfly datapath circuits that perfo...
Yedidya Hilewitz, Ruby B. Lee
CVPR
2007
IEEE
15 years 11 months ago
Pedestrian Detection in Infrared Images based on Local Shape Features
Use of IR images is advantageous for many surveillance applications where the systems must operate around the clock and external illumination is not always available. We investiga...
Li Zhang, Bo Wu, Ram Nevatia
CVPR
2007
IEEE
15 years 11 months ago
Conformal Embedding Analysis with Local Graph Modeling on the Unit Hypersphere
We present the Conformal Embedding Analysis (CEA) for feature extraction and dimensionality reduction. Incorporating both conformal mapping and discriminating analysis, CEA projec...
Yun Fu, Ming Liu, Thomas S. Huang
ICCV
2007
IEEE
15 years 11 months ago
Vision-Based Projected Tabletop Interface for Finger Interactions
Abstract. We designed and implemented a vision-based projected tabletop interface for finger interaction. The system offers a simple and quick setup and economic design. The proj...
Peng Song, Stefan Winkler, Syed Omer Gilani, ZhiYi...