1564 search results - page 56 / 313 » Extensions to the Estimation Calculus |
JAR
2006
15 years 1 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...
104
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
115
click to vote
CCP
2011
14 years 1 months ago
2011
This project will involve analysing some of the newer fast algorithms in comparison with an exhaustive full search algorithm for motion estimation in video encoders. It will invest...
191
click to vote
AAAI
1998
15 years 3 months ago
1998
For mobile robots to be successful, they have to navigate safely in populated and dynamic environments. While recent research has led to a variety of localization methods that can...
100
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Behavioral Signal Processing aims at automating behavioral coding schemes such as those prevalent in psychology and mental health research. This paper describes methods to quantif...