Sciweavers

214 search results - page 21 / 43
» Automatic Correction of Loop Transformations
Sort
View
221
Voted
POPL
2008
ACM
16 years 2 months ago
From dirt to shovels: fully automatic tool generation from ad hoc data
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
Kathleen Fisher, David Walker, Kenny Qili Zhu, Pet...
LOPSTR
2007
Springer
15 years 8 months ago
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
Mario Méndez-Lojo, Jorge Navas, Manuel V. H...
106
Voted
3DPVT
2006
IEEE
247views Visualization» more  3DPVT 2006»
15 years 8 months ago
Automatic 3D Face Detection, Normalization and Recognition
A fully automatic 3D face recognition algorithm is presented. Several novelties are introduced to make the recognition robust to facial expressions and efficient. These novelties...
Ajmal S. Mian, Mohammed Bennamoun, Robyn A. Owens
ACL
2008
15 years 4 months ago
Automatic Editing in a Back-End Speech-to-Text System
Written documents created through dictation differ significantly from a true verbatim transcript of the recorded speech. This poses an obstacle in automatic dictation systems as s...
Maximilian Bisani, Paul Vozila, Olivier Divay, Jef...
ICIP
2009
IEEE
16 years 3 months ago
Rate-distortion Optimization For Automatic Sprite Video Coding Using H.264/avc
Sprite-based video coding offers higher compression efficiency than conventional block-based hybrid video coders. In sprite coding a sequence is divided into a model of its backgr...