1150 search results - page 29 / 230 » Note from the Editor |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Drawing on ongoing ethnographic investigations into home life, this paper presents detailed findings from a preliminary examination of refrigerator surfaces. The use and organizat...
SACRYPT
2004
Springer
14 years 29 days ago
2004
Springer
Addition-subtraction-chains obtained from signed digit recodings of integers are a common tool for computing multiples of random elements of a group where the computation of invers...
TAMC
2010
Springer
14 years 21 days ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
INFORMATICALT
2006
13 years 7 months ago
2006
Abstract. Robust stability results for nominally linear hybrid systems are obtained from total stability theorems for purely continuous-time and discrete-time systems. The class of...
IPL
2006
13 years 7 months ago
2006
In the past 5 years, a series of verification algorithms has been proposed for infinite Markov chains that have a finite attractor, i.e., a set that will be visited infinitely oft...