9842 search results - page 1683 / 1969 » Compositional timing analysis |
166
click to vote
TDSC
2008
15 years 3 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
135
click to vote
ISF
2007
15 years 3 months ago
2007
Broadband technology has been introduced to the business community and the public as a rapid way of exploiting the Internet. The benefits of its use (fast reliable connections, an...
117
click to vote
TIP
2008
15 years 3 months ago
2008
Abstract--This paper considers the problem of high-dynamicrange (HDR) image capture using low-dynamic-range (LDR) cameras. We present three different minimal-bracketing algorithms ...
136
click to vote
IVS
2007
15 years 3 months ago
2007
This paper describes a fast approach to automatic point label de-confliction on interactive maps. The general Map Labeling problem is NP-hard and has been the subject of much stud...
129
Voted
TITB
2008
15 years 3 months ago
2008
Intravascularultrasound (IVUS) sequences recorded in vivo are subject to a wide array of motion artifacts as the majority of these studies are performed within the coronary arterie...