7121 search results - page 311 / 1425 » Functions as Session-Typed Processes |
159
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A flexible intermediate library named Stampi for MPI-2 support on a heterogeneous computing environment has been implemented on an SCore cluster system. With the help of...
187
click to vote
LNCS
1993
15 years 10 months ago
1993
– In the past few years considerable demand for user oriented multimedia information systems has developed. These systems must provide a rich set of functionality so that new, co...
189
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
171
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
The query performance for tracing tags depends upon the distribution of tag trajectories in the data space. We examine a more efficient representation of tag trajectories by means ...
185
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Gaussian mixture models (GMMs) are a convenient and essential tool for the estimation of probability density functions. Although GMMs are used in many research domains from image ...