1486 search results - page 287 / 298 » Algorithms for two-box covering |
LICS
2006
IEEE
14 years 22 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
ASPDAC
2006
ACM
14 years 21 days ago
2006
ACM
— The rapid increase in IC design complexity and wide-spread use of intellectual-property (IP) blocks have made the so-called mixed-size placement a very important topic in recen...
MM
2006
ACM
14 years 20 days ago
2006
ACM
Conventional wide-area video surveillance systems use a network of fixed cameras positioned close to locations of interest. We describe an alternative and flexible approach to w...
SIGMETRICS
2006
ACM
14 years 20 days ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...
UIST
2006
ACM
14 years 20 days ago
2006
ACM
This paper presents a novel interactive system for guiding artists to paint using traditional media and tools. The enabling technology is a multi-projector display capable of cont...