Sciweavers

185 search results - page 16 / 37
» SAGBI Bases Under Composition
Sort
View
AGP
1996
IEEE
13 years 11 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
PAMI
2008
160views more  PAMI 2008»
13 years 7 months ago
Parametric Image Alignment Using Enhanced Correlation Coefficient Maximization
In this work, we propose the use of a modified version of the correlation coefficient as a performance criterion for the image alignment problem. The proposed modification has the ...
Georgios D. Evangelidis, Emmanouil Z. Psarakis
ICML
2002
IEEE
14 years 8 months ago
IEMS - The Intelligent Email Sorter
Classification of email is an important everyday task for a large and growing number of users. This paper describes the machine learning approaches underlying the i-ems (Intellige...
Elisabeth Crawford, Judy Kay, Eric McCreath
ITIIS
2010
200views more  ITIIS 2010»
13 years 2 months ago
New Techniques for Anonymous HIBE with Short Ciphertexts in Prime Order Groups
Anonymous hierarchical identity based encryption (HIBE) is an extension of identity based encryption (IBE) that can use an arbitrary string like an e-mail address for a public key...
Kwangsu Lee, Dong Hoon Lee
OOPSLA
1990
Springer
13 years 11 months ago
Mixin-based Inheritance
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in...
Gilad Bracha, William R. Cook