Sciweavers

894 search results - page 140 / 179
» Game Theory with Costly Computation
Sort
View
AAMAS
2010
Springer
15 years 1 months ago
Evolutionary mechanism design: a review
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
Steve Phelps, Peter McBurney, Simon Parsons
ICIP
2008
IEEE
16 years 3 months ago
Fast adaptive elliptical filtering using box splines
We demonstrate that it is possible to filter an image with an elliptic window of varying size, elongation and orientation with a fixed computational cost per pixel. Our method inv...
Arrate Muñoz-Barrutia, Kunal Narayan Chaudh...
ICIP
2005
IEEE
15 years 7 months ago
Chromatic adaptation and white-balance problem
The problem of adjusting the color such that the output image from a digital camera, viewed under a standard condition, matches the scene observed by the photographer’s eye is c...
Keigo Hirakawa, Thomas W. Parks
99
Voted
LPAR
2001
Springer
15 years 6 months ago
A Local System for Classical Logic
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
Kai Brünnler, Alwen Fernanto Tiu
AGP
1997
IEEE
15 years 6 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara