6527 search results - page 86 / 1306 » On Typing Information Flow |
125
Voted
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
The main question we address is: what is the minimal information required to generate closed, non-intersecting planar boundaries? For this paper we restrict ‘shape’ to this mea...
120
Voted
CHI
2008
ACM
16 years 4 months ago
2008
ACM
We present a method for browsing videos by directly dragging their content. This method brings the benefits of direct manipulation to an activity typically mediated by widgets. We...
137
click to vote
ECUMN
2007
Springer
15 years 5 months ago
2007
Springer
Since few years, several applications are proposed on mobile devices. However, these applications are not aware of their physical environment. The emergence of wireless sensors, a...
142
Voted
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we focus on issues of restorable dynamic routing in MPLS networks. We assume that the considered MPLS network must provide reliable service including restorable rout...
134
click to vote
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...