10602 search results - page 74 / 2121 » Weakly Useful Sequences |
WSS
2001
13 years 10 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
ICPADS
2005
IEEE
14 years 2 months ago
2005
IEEE
New biological experimental techniques are continuing to generate large amounts of data using DNA, RNA, human genome and protein sequences. The quantity and quality of data from t...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
This paper concerns recognition of human actions under view changes. We explore self-similarities of action sequences over time and observe the striking stability of such measures ...
LISP
2007
13 years 9 months ago
2007
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
PAMI
2011
13 years 4 months ago
2011
— This paper addresses recognition of human actions under view changes. We explore self-similarities of action sequences over time and observe the striking stability of such meas...