Sciweavers

2233 search results - page 8 / 447
» Modular type classes
Sort
View
CORR
2011
Springer
167views Education» more  CORR 2011»
14 years 4 months ago
Type Classes for Mathematics in Type Theory
Bas Spitters, Eelis van der Weegen
ANTS
2008
Springer
115views Algorithms» more  ANTS 2008»
14 years 11 months ago
Computing Hilbert Modular Forms over Fields with Nontrivial Class Group
In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degr...
Lassina Dembélé, Steve Donnelly
POPL
2010
ACM
15 years 6 months ago
Modular Session Types for Distributed Object-Oriented Programming
Alexandre Z. Caldeira, António Ravara, Nils...
CSL
2003
Springer
15 years 2 months ago
Modular Semantics and Logics of Classes
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
Bernhard Reus
ICASSP
2011
IEEE
14 years 1 months ago
A robust feature extraction algorithm based on class-Modular Image Principal Component Analysis for face verification
Face verification systems reach good performance on ideal environmental conditions. Conversely, they are very sensitive to non-controlled environments. This work proposes the cla...
Jose Francisco Pereira, Rafael M. Barreto, George ...