Sciweavers

469 search results - page 17 / 94
» On Benchmarking of Invoice Analysis Systems
Sort
View
CC
2011
Springer
270views System Software» more  CC 2011»
13 years 1 months ago
Subregion Analysis and Bounds Check Elimination for High Level Arrays
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
Mackale Joyner, Zoran Budimlic, Vivek Sarkar
LOPSTR
2004
Springer
14 years 3 months ago
Fully Automatic Binding-Time Analysis for Prolog
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
Stephen-John Craig, John P. Gallagher, Michael Leu...
VOSS
2004
Springer
118views Mathematics» more  VOSS 2004»
14 years 3 months ago
Serial Disk-based Analysis of Large Stochastic Models
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
Rashid Mehmood
ECCV
2010
Springer
14 years 3 months ago
Tracklet Descriptors  for Action Modeling and Video Analysis
We present spatio-temporal feature descriptors that can be inferred from video and used as building blocks in action recognition systems. They capture the evolution of ``elementar...
Michalis Raptis , Stefano Soatto
CORR
2006
Springer
110views Education» more  CORR 2006»
13 years 9 months ago
An Analysis of Arithmetic Constraints on Integer Intervals
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for thes...
Krzysztof R. Apt, Peter Zoeteweij