1546 search results - page 89 / 310 » Context-Aware Computing with Sound |
62
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
118
Voted
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
141
Voted
NORDICHI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we discuss why access to mathematical graphs is problematic for visually impaired people. By a review of graph understanding theory and interviews with visually impa...
153
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
130
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
Region-based image retrieval systems aim to improve the effectiveness of content-based search by decomposing each image into a set of “homogeneous” regions. Thus, similarity b...