Sciweavers

512 search results - page 41 / 103
» Reducibility among equilibrium problems
Sort
View
LFCS
1994
Springer
14 years 1 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
14 years 1 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 ...
DGCI
2000
Springer
14 years 1 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
14 years 1 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
14 years 5 hour 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...