741 search results - page 55 / 149 » A global view of kad |
153
click to vote
NORDICHI
2006
ACM
16 years 3 days 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...
150
click to vote
ISCIS
2005
Springer
15 years 11 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...
131
click to vote
LATIN
2004
Springer
15 years 11 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...
159
click to vote
SBIA
2004
Springer
15 years 11 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...
150
click to vote
ICIP
2003
IEEE
15 years 11 months 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...