741 search results - page 55 / 149 » A global view of kad |
NORDICHI
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents SpiraList, a focus+context visualization technique for interacting with large lists on handheld devices. SpiraList has been specifically designed to fit the co...
ISCIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
LATIN
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a new mathematical model of AIMD (Additive Increase Multiplicative Decrease) TCP for general networks that we believe is better than those previously used when...
SBIA
2004
Springer
14 years 1 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
ICIP
2003
IEEE
14 years 29 days ago
2003
IEEE
A novel method is introduced to force a geometric-based snake be more tolerant towards weak edges and noise in images. The method integrates gradient flow forces with region cons...