Sciweavers

3047 search results - page 518 / 610
» Aggregation functions: Means
Sort
View
ICSOC
2010
Springer
13 years 8 months ago
BPEL4Pegasus: Combining Business and Scientific Workflows
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
Mirko Sonntag, Dimka Karastoyanova, Ewa Deelman
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
13 years 8 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
JCNS
2010
96views more  JCNS 2010»
13 years 8 months ago
Rapid determination of particle velocity from space-time images using the Radon transform
Laser-scanning methods are a means to observe streaming particles, such as the flow of red blood cells in a blood vessel. Typically, particle velocity is extracted from images form...
Patrick J. Drew, Pablo Blinder, Gert Cauwenberghs,...
JOT
2010
137views more  JOT 2010»
13 years 8 months ago
Computational Abstraction Steps
ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
Lone Leth Thomsen, Bent Thomsen, Kurt Nørma...
JUCS
2010
100views more  JUCS 2010»
13 years 8 months ago
Spatial Reasoning with Integrated Qualitative-Metric Fuzzy Constraint Networks
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
Marco Falda