236 search results - page 16 / 48 » Strong normalization results by translation |
AMAI
2004
Springer
14 years 4 months ago
2004
Springer
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
CSL
2009
Springer
14 years 2 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...
SIAMCO
2010
13 years 5 months ago
2010
A minimum time problem with a nonlinear smooth dynamics and a target satisfying an internal sphere condition is considered. Under the assumption that the minimum time T be continu...
ACCV
2007
Springer
14 years 2 months ago
2007
Springer
Normalized Cuts has successfully been applied to a wide range of tasks in computer vision, it is indisputably one of the most popular segmentation algorithms in use today. A number...
ICPR
2006
IEEE
15 years 4 hour ago
2006
IEEE
In this paper, we describe the method for aligning multiple range images given by a range finder. Especially we will use range images of inside and outside of buildings which cont...