2061 search results - page 306 / 413 » Measuring Corner Properties |
153
click to vote
PAPM
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
154
click to vote
DCC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we describe a trellis representation of variable length coded data which is capable of being used for bit-level or symbol-level maximum a posteriori (MAP) decoding o...
147
click to vote
FGR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a new technique for the perception of activities using statistical description of spatio-temporal properties. With this approach, the probability of an activit...
134
click to vote
STOC
2000
ACM
15 years 8 months ago
2000
ACM
We consider the design of self-testers for quantum gates. A self-tester for the gates F 1, . . . , F m is a procedure that, given any gates G1, . . . , Gm, decides with high probab...
126
click to vote
BMCV
2000
Springer
15 years 8 months ago
2000
Springer
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...