4894 search results - page 615 / 979 » Dynamic Abstraction Planning |
202
click to vote
TACS
1994
Springer
15 years 11 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...
173
click to vote
IDMS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we propose static and dynamic server selection techniques for multicast receivers who receive multiple streams from replicated servers. In the proposed sta...
203
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
185
click to vote
JCNS
2000
15 years 6 months ago
2000
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
226
click to vote
ECCV
1994
Springer
16 years 8 months ago
1994
Springer
Abstract. This paper presents a new algorithm for structure from motion from an arbitrary number of tracked features over an arbitrary number of images, which possesses several adv...