43 search results - page 2 / 9 » Invariant Utility Functions and Certain Equivalent Transform... |
103
Voted
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
We derive a new class of photometric invariants that can be used for a variety of vision tasks including lighting invariant material segmentation, change detection and tracking, a...
108
Voted
NA
2008
15 years 9 days ago
2008
(A) The celebrated Gaussian quadrature formula on finite intervals tells us that the Gauss nodes are the zeros of the unique solution of an extremal problem. We announce recent re...
105
click to vote
IWFM
1998
15 years 1 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
72
Voted
MICS
2008
15 years 9 days ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...