66 search results - page 13 / 14 » Recursive Functions with Higher Order Domains |
VLDB
2002
ACM
13 years 4 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
TMM
2002
13 years 4 months ago
2002
This paper presents an object tracking method for object-based video processing which uses a two-dimensional (2-D) Gabor wavelet transform (GWT) and a 2-D golden section algorithm....
TACS
1994
Springer
13 years 9 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
TMC
2008
13 years 5 months ago
2008
Mutual network synchronization is a distributed method in which geographically separated clocks align their times to one another without the need of reference or master clocks. Mut...
JMLR
2010
13 years 1 days ago
2010
A successful class of image denoising methods is based on Bayesian approaches working in wavelet representations. The performance of these methods improves when relations among th...