269 search results - page 25 / 54 » Computational soundness of observational equivalence |
107
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
Abstract-- SAT sweeping is the process of merging two or more functionally equivalent nodes in a circuit by selecting one of them to represent all the other equivalent nodes. This ...
123
Voted
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a new approach to the general problem of template-based segmentation, detection, and registration. This joint problem is highly nonlinear and high dimensional, due to t...
119
click to vote
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we propose the localized adaptive QoS routing scheme using POMDP(partially observable Markov Decision Processes) and Exploration Bonus. In order to deal with POMDP p...
130
Voted
BMVC
2002
15 years 4 months ago
2002
In this paper, we consider structure and motion recovery for scenes consisting of static and dynamic features. More particularly, we consider a single moving uncalibrated camera o...
84
Voted
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...