437 search results - page 42 / 88 » Proving Termination by Divergence |
CALCO
2009
Springer
14 years 2 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
FOCI
2007
IEEE
14 years 2 months ago
2007
IEEE
— The exchange Monte Carlo method was proposed as an improved algorithm of Markov Chain Monte Carlo method and its effectiveness has been shown in many fields. In the exchange M...
ICIAP
1999
ACM
14 years 6 days ago
1999
ACM
Using the Jensen-Shannon divergence of grey level histograms obtained by sliding a double window over an image, an edge-detector is presented. A new technique for linking unconnec...
AAAI
2010
13 years 9 months ago
2010
This paper presents a novel recursive maximum a posteriori update for the Kalman formulation of undelayed bearing-only SLAM. The estimation update step is cast as an optimization ...