151 search results - page 10 / 31 » From Monads to Effects and Back |
ICMCS
2005
IEEE
15 years 4 months ago
2005
IEEE
In a typical content and watermarking based image authentication approach, a feature is extracted from the given image, and then embedded back into the image using a watermarking ...
74
Voted
ICFP
2006
ACM
15 years 10 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
94
Voted
MICCAI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We describe a new method for visualising tensor fields using a textured mapped volume rendering approach, tensor-splatting. We use an image order method to calculate the ...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Discriminative training for language recognition has been a key tool for improving system performance. In addition, recognition directly from shifted-delta cepstral features has p...