73
Voted
IGPL
2008
14 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...
89
Voted
SC
1995
ACM
15 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...
83
Voted
ICIP
2006
IEEE
16 years 15 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...
89
Voted
ECCV
1994
Springer
16 years 21 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...