979 search results - page 55 / 196 » Footprints in Local Reasoning |
133
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Enterprise customers are increasingly adopting MPLS (Multiprotocol Label Switching) VPN (Virtual Private Network) service that offers direct any-to-any reachability among the cust...
179
Voted
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper focuses on the assignment of discrete points among K robots and determining the order in which the points should be processed by the robots, in the presence of geometric...
169
Voted
ISPD
2012
ACM
13 years 11 months ago
2012
ACM
In this paper, we propose a new approach for gated bus synthesis [16] with minimum wire capacitance per transaction in three-dimensional (3D) ICs. The 3D IC technology connects di...
149
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
136
click to vote
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
Inpainting refers to the task of filling in missing or damaged regions of an image. In this paper, we are interested in the inpainting problem where the missing regions are so la...