Sciweavers

2049 search results - page 130 / 410
» Normalization and Partial Evaluation
Sort
View
CVPR
2010
IEEE
13 years 10 months ago
Anomaly detection in crowded scenes
A novel framework for anomaly detection in crowded scenes is presented. Three properties are identified as important for the design of a localized video representation suitable f...
Vijay Mahadevan, Weixin Li, Viral Bhalodia, Nuno V...
INFORMATICALT
2008
154views more  INFORMATICALT 2008»
13 years 10 months ago
A Novel Biometric Personal Verification System Based on the Combination of Palmprints and Faces
Abstract. This paper presents a bimodal biometric verification system based on the fusion of palmprint and face features at the matching-score level. The system combines a new appr...
Slobodan Ribaric, Ivan Fratric, Kristina Kis
IJBRA
2007
89views more  IJBRA 2007»
13 years 10 months ago
Conservative adjustment of permutation p-values when the number of permutations is limited
The permutation procedure is widely used to assess the significance level (p-value) of a test statistic. This approach is asymptotically consistent. In genomics and proteomics st...
Yinglei Lai
TCS
2008
13 years 10 months ago
The weak lambda calculus as a reasonable machine
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
Ugo Dal Lago, Simone Martini
CAL
2005
13 years 10 months ago
On Reusing the Results of Pre-Executed Instructions in a Runahead Execution Processor
Previous research on runahead execution took it for granted as a prefetch-only technique. Even though the results of instructions independent of an L2 miss are correctly computed d...
Onur Mutlu, Hyesoon Kim, Jared Stark, Yale N. Patt