Sciweavers

512 search results - page 41 / 103
» Reducibility among equilibrium problems
Sort
View
LFCS
1994
Springer
15 years 9 months ago
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
Philippe de Groote
ACIVS
2006
Springer
15 years 8 months ago
Fast Multi-view Disparity Estimation for Multi-view Video Systems
Disparity estimation can be used to eliminate redundancy among different views in multi-view video compression to obtain high compression efficiency. However, the problem of high c...
Gangyi Jiang, Mei Yu, Feng Shao, You Yang, Haitao ...
162
Voted
DGCI
2000
Springer
15 years 8 months ago
An Efficient Shape-Based Approach to Image Retrieval
We consider the problem of finding the best match for a given query shape among candidate shapes stored in a shape base. This is central to a wide range of applications, such as, d...
Ioannis Fudos, Leonidas Palios
SIGGRAPH
1995
ACM
15 years 8 months ago
Image metamorphosis using snakes and free-form deformations
This paper presents new solutions to the following three problems in image morphing: feature specification, warp generation, and transition control. To reduce the burden of featu...
Seungyong Lee, Kyung-Yong Chwa, Sung Yong Shin
FLAIRS
2007
15 years 7 months ago
Case-Based Recommendation of Node Ordering in Planning
Currently, among the fastest approaches to AI task planning we find many forward-chaining heuristic planners, as FF. Most of their good performance comes from the use of domain-i...
Tomás de la Rosa, Angel García Olaya...