IGPL
2008
13 years 11 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
SC
1995
ACM
14 years 2 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
ICIP
2006
IEEE
15 years 17 days ago
2006
IEEE
We propose an adaptive lifted discrete wavelet transform to locally adapt the ltering direction to the geometric ow in the image. The proposed approach re nes previous directional...
ECCV
1994
Springer
15 years 23 days ago
1994
Springer
A uni ed framework for 3 D shape reconstruction allows us to combine image-based and geometry-based information sources. The image information is akin to stereo and shape-fromshad...