1199 search results - page 150 / 240 » Parameterized Proof Complexity |
134
Voted
TGC
2010
Springer
14 years 10 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
112
Voted
NETWORKS
2011
14 years 7 months ago
2011
Abstract. We consider a basic subproblem which arises in line planning, and is of particular importance in the context of a high system load or robustness: How much can be routed m...
113
Voted
DASIP
2010
14 years 7 months ago
2010
This paper describes the implementation of the MPEG AVC CABAC entropy decoder using the RVC-CAL dataflow programming language. CABAC is the Context based Adaptive Binary Arithmeti...
98
Voted
ICCV
1998
IEEE
16 years 2 months ago
1998
IEEE
A new dynamic subdivision surface model is proposed for shape recovery from 3D data sets. The model inherits the attractive properties of the Catmull-Clark subdivision scheme and ...
114
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
In this paper, we address the issue of joint space-time segmentation of image sequences. Typical approaches to such segmentation consider two image frames at a time, and perform t...