2008 search results - page 234 / 402 » Computing with Equations |
142
Voted
PARLE
1987
15 years 7 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
153
Voted
BMVC
2002
15 years 6 months ago
2002
In this paper, we consider structure and motion recovery for scenes consisting of static and dynamic features. More particularly, we consider a single moving uncalibrated camera o...
166
Voted
CVPR
2005
IEEE
15 years 5 months ago
2005
IEEE
A novel two-stage level set evolution method for detecting man-made objects in aerial images is described. The method is based on a modified Mumford-Shah model and it uses a two-s...
105
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Finding feasible points for which the proof succeeds is a critical issue in safe Branch and Bound algorithms which handle continuous problems. In this paper, we introduce...
147
Voted
DCC
2008
IEEE
15 years 5 months ago
2008
IEEE
We characterize the rate-distortion function for zero-mean stationary Gaussian sources under the MSE fidelity criterion and subject to the additional constraint that the distortio...