Sciweavers

3394 search results - page 94 / 679
» Regular Object Types
Sort
View
88
Voted
DM
2010
108views more  DM 2010»
15 years 22 days ago
Locally toroidal polytopes and modular linear groups
When the standard representation of a crystallographic Coxeter group G (with string diagram) is reduced modulo the integer d 2, one obtains a finite group Gd often the automorphi...
Barry Monson, Egon Schulte
97
Voted
MST
2006
105views more  MST 2006»
15 years 18 days ago
Selection Functions that Do Not Preserve Normality
The sequence selected from a sequence R(0)R(1) . . . by a language L is the subsequence of R that contains exactly the bits R(n + 1) such that the prefix R(0) . . . R(n) is in L. B...
Wolfgang Merkle, Jan Reimann
125
Voted
CVPR
2011
IEEE
14 years 8 months ago
Total Variation for Cyclic Structures
We introduce a novel type of total variation regularizer, TVS1 , for cyclic structures such as angles or hue values. The method handles the periodicity of values in a simple and c...
Evgeny Strekalovskiy, Daniel Cremers
107
Voted
SAC
2009
ACM
15 years 7 months ago
Matching ThisType to subtyping
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
Chieri Saito, Atsushi Igarashi
PLDI
2005
ACM
15 years 6 months ago
Permission-based ownership: encapsulating state in higher-order typed languages
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
Neelakantan R. Krishnaswami, Jonathan Aldrich