Sciweavers

826 search results - page 87 / 166
» Designing for families
Sort
View
WDAG
2005
Springer
92views Algorithms» more  WDAG 2005»
15 years 11 months ago
Plausible Clocks with Bounded Inaccuracy
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
Brad T. Moore, Paolo A. G. Sivilotti
MHCI
2004
Springer
15 years 11 months ago
Memojog - An Interactive Memory Aid Incorporating Mobile Based Technologies
Memory problems are often associated with ageing and are among the most common effects of brain injury. Such problems can severely disrupt daily life and put huge strain on family ...
Kenny Morrison, Andrea Szymkowiak, Peter Gregor
ECOOP
2003
Springer
15 years 11 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
FSE
2010
Springer
132views Cryptology» more  FSE 2010»
15 years 11 months ago
Rebound Attack on Reduced-Round Versions of JH
Abstract. JH, designed by Wu, is one of the 14 second round candidates in the NIST Hash Competition. This paper presents the first analysis results of JH by using rebound attack. ...
Vincent Rijmen, Deniz Toz, Kerem Varici
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 11 months ago
Risk sensitive robust support vector machines
— We propose a new family of classification algorithms in the spirit of support vector machines, that builds in non-conservative protection to noise and controls overfitting. O...
Huan Xu, Constantine Caramanis, Shie Mannor, Sungh...