Sciweavers

24529 search results - page 412 / 4906
» Computing on Authenticated Data
Sort
View
LICS
2007
IEEE
15 years 11 months ago
Relational Parametricity for Computational Effects
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
Rasmus Ejlers Møgelberg, Alex Simpson
IWINAC
2007
Springer
15 years 11 months ago
Optimal Cue Combination for Saliency Computation: A Comparison with Human Vision
The computer model of visual attention derives an interest or saliency map from an input image in a process that encompasses several data combination steps. While several combinati...
Alexandre Bur, Heinz Hügli
CIBCB
2005
IEEE
15 years 10 months ago
Heuristic Algorithm for Computing Reversal Distance with MultiGene Families via Binary Integer Programming
— Hannenhalli and Pevzner developed the first polynomial-time algorithm for the combinatorial problem of sorting of signed genomic data. Their algorithm solves the minimum numbe...
Jakkarin Suksawatchon, Chidchanok Lursinsap, Mikae...
CGI
2003
IEEE
15 years 10 months ago
Diorama Engine - A 3D Directing Tool for 3D Computer Animation Production
This paper describes Diorama Engine, a 3D directing tool for 3D computer animation. The Diorama Engine is a limited but specialized tool that focuses on ease of scene construction...
Koji Mikami, Toru Tokuhara
ISCA
1998
IEEE
125views Hardware» more  ISCA 1998»
15 years 9 months ago
Active Pages: A Computation Model for Intelligent Memory
Microprocessors and memory systems su er from a growing gap in performance. We introduce Active Pages, a computation model which addresses this gap by shifting data-intensive comp...
Mark Oskin, Frederic T. Chong, Timothy Sherwood