170 search results - page 14 / 34 » On computational properties of chains of recurrences |
100
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
In this paper we discuss the issues that need to be resolved before fully automated outdoor surveillance systems can be developed, and present solutions to some of these problems. ...
137
Voted
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
Statistics of ‘natural images’ provides useful priors for solving under-constrained problems in Computer Vision. Such statistics is usually obtained from large collections of ...
CAD
2002
Springer
15 years 6 days ago
2002
Springer
This paper presents an algorithm for extending B-spline curves and surfaces. Based on the unclamping algorithm for B-spline curves, we propose a new algorithm for extending B-spli...
92
Voted
NPL
2000
15 years 5 days ago
2000
This paper explores internal representation power of product units [1] that act as the functional nodes in the hidden layer of a multi-layer feedforward network. Interesting proper...