Sciweavers

809 search results - page 116 / 162
» 04421 Abstracts Collection - Algebraic Methods in Computatio...
Sort
View
IFL
1999
Springer
117views Formal Methods» more  IFL 1999»
15 years 4 months ago
On Code Generation for Multi-generator WITH-Loops in SAC
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz
PAMI
2007
161views more  PAMI 2007»
14 years 11 months ago
High-Performance Rotation Invariant Multiview Face Detection
Abstract—Rotation invariant multiview face detection (MVFD) aims to detect faces with arbitrary rotation-in-plane (RIP) and rotationoff-plane (ROP) angles in still images or vide...
Chang Huang, Haizhou Ai, Yuan Li, Shihong Lao
CONSTRAINTS
2006
115views more  CONSTRAINTS 2006»
14 years 12 months ago
A Cost-Regular Based Hybrid Column Generation Approach
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
Sophie Demassey, Gilles Pesant, Louis-Martin Rouss...
ECCV
2010
Springer
15 years 3 months ago
Modeling Temporal Structure of Decomposable Motion Segments for Activity Classification
Abstract. Much recent research in human activity recognition has focused on the problem of recognizing simple repetitive (walking, running, waving) and punctual actions (sitting up...
TWC
2008
85views more  TWC 2008»
14 years 11 months ago
Improved BDFE Using A Priori Information for Turbo Equalization
Abstract-- Turbo equalization improves communication system performance by iteratively exchanging information between soft-input soft-output (SISO) equalizer and SISO channel decod...
Jingxian Wu, Sang-Yick Leong, Kah-Ping Lee, Chengs...