2742 search results - page 329 / 549 » Deriving Category Theory from Type Theory |
FM
1999
Springer
14 years 1 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
ECCV
2008
Springer
13 years 11 months ago
2008
Springer
Confidence measures are crucial to the interpretation of any optical flow measurement. Even though numerous methods for estimating optical flow have been proposed over the last thr...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
It is shown that bandwidth estimation in packet networks can be viewed in terms of min-plus linear system theory. The available bandwidth of a link or complete path is expressed i...
PAMI
2008
13 years 9 months ago
2008
In this paper, we present a general guideline to find a better distance measure for similarity estimation based on statistical analysis of distribution models and distance function...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper we attempt to further demonstrate connections between information theory and control, in a networked setting. Specifically, we consider the communication problem of b...