10608 search results - page 1820 / 2122 » Complexity of O'Hara's Algorithm |
81
Voted
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
113
Voted
CP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
123
Voted
CVPR
2007
IEEE
15 years 4 months ago
2007
IEEE
Detection of objects of a given class is important for many applications. However it is difficult to learn a general detector with high detection rate as well as low false alarm r...
94
Voted
DAC
2007
ACM
15 years 4 months ago
2007
ACM
The number of features that are supported in modern multimedia devices is increasing faster than ever. Estimating the performance of such applications when they are running on sha...
119
Voted
DAC
2007
ACM
15 years 4 months ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...