Sciweavers

2938 search results - page 260 / 588
» On obfuscating point functions
Sort
View
POPL
2009
ACM
16 years 7 months ago
Automatic modular abstractions for linear constraints
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
David Monniaux
CHI
2005
ACM
16 years 7 months ago
Waterbot: exploring feedback and persuasive techniques at the sink
This paper presents an exploration of user interfaces, persuasive interfaces and feedback techniques in the domain of the sink. Waterbot is a system to inform and motivate behavio...
Ernesto Arroyo, Leonardo Bonanni, Ted Selker
ESA
2009
Springer
127views Algorithms» more  ESA 2009»
16 years 1 months ago
Piercing Translates and Homothets of a Convex Body
According to a classical result of Gr¨unbaum, the transversal number τ(F) of any family F of pairwise-intersecting translates or homothets of a convex body C in Rd is bounded by...
Adrian Dumitrescu, Minghui Jiang
ICAPR
2009
Springer
16 years 1 months ago
Upper and Lower Grey-Level Adaptive Morphological Operators
Morphological operators designed for grey-scale functions process every points of the space identically whatever their luminance. In many situations however, it is interesting to ...
Corinne Vachier
PKDD
2009
Springer
153views Data Mining» more  PKDD 2009»
16 years 1 months ago
Subspace Regularization: A New Semi-supervised Learning Method
Most existing semi-supervised learning methods are based on the smoothness assumption that data points in the same high density region should have the same label. This assumption, ...
Yan-Ming Zhang, Xinwen Hou, Shiming Xiang, Cheng-L...