154 search results - page 18 / 31 » Comparison of Process Algebra Equivalences Using Formats |
JAR
2006
14 years 9 months ago
2006
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
80
Voted
ICDT
1995
ACM
15 years 1 months ago
1995
ACM
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
LPNMR
1990
Springer
15 years 1 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
148
click to vote
ECCV
2002
Springer
15 years 10 months ago
2002
Springer
The context of this work is lateral vehicle control using a camera as a sensor. A natural tool for controlling a vehicle is recursive filtering. The well-known Kalman fil...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper deals with conversion from H.264/AVC (Advanced Video Coding) coded video into the MPEG-2 format. The proposed approach exploits similarities between the coding techniqu...