Sciweavers

2880 search results - page 78 / 576
» Types are calling conventions
Sort
View
ENTCS
2011
134views more  ENTCS 2011»
14 years 3 months ago
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
We revisit the connection between three notions of computation: Moggi’s monads, Hughes’s arrows and McBride and Paterson’s idioms (also called applicative functors). We show...
Sam Lindley, Philip Wadler, Jeremy Yallop
IDEAS
2007
IEEE
84views Database» more  IDEAS 2007»
15 years 6 months ago
Multiple Entry Indexing and Double Indexing
Traditional indexing techniques are not well suited for complex data types such as spatial, spatio-temporal, and multimedia data types, where an instance is a composite of multipl...
Victor Teixeira de Almeida, Ralf Hartmut Güti...
SIAMNUM
2010
87views more  SIAMNUM 2010»
14 years 6 months ago
A Note on the Computation of All Zeros of Simple Quaternionic Polynomials
Polynomials with quaternionic coefficients located on only one side of the powers (we call them simple polynomials) may have two different types of zeros: isolated and spherical ze...
Drahoslava Janovská, Gerhard Opfer
89
Voted
CVPR
2007
IEEE
16 years 1 months ago
Generic Face Alignment using Boosted Appearance Model
This paper proposes a discriminative framework for efficiently aligning images. Although conventional Active Appearance Models (AAM)-based approaches have achieved some success, t...
Xiaoming Liu 0002
ICIP
2006
IEEE
16 years 1 months ago
Overlapped Block Motion Compensation Based on Irregular Grid
In this work, we propose a hybrid motion compensation integrating the advantages of control grid interpolation (CGI) and overlapped block motion compensation (OBMC). We consider c...
Byeong-Doo Choi, Jong-Woo Han, Seung-Won Jung, Ju-...