1511 search results - page 12 / 303 » Relational Parametricity for Computational Effects |
560
click to vote
Lecture Notes
I have been designing and building applications, including the databases used by those applications, for several decades now. I have seen similar problems approached by different d...
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
Tiling is a crucial loop transformation for generating high performance code on modern architectures. Efficient generation of multilevel tiled code is essential for maximizing da...
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Lips segmentation is a very important step in many applications such as automatic speech reading, MPEG-4 compression, special effects, facial analysis and emotion recognition. In ...
CP
1999
Springer
15 years 4 months ago
1999
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We consider decision making in a Markovian setup where the reward parameters are not known in advance. Our performance criterion is the gap between the performance of the best ...