Sciweavers

7121 search results - page 25 / 1425
» Functions as Session-Typed Processes
Sort
View
EPK
2006
84views Management» more  EPK 2006»
14 years 11 months ago
Using BPEL Processes defined by Event-driven Process Chains
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
Carlo Simon, Jörn Freiheit, Sebastian Olbrich
71
Voted
IFL
2007
Springer
133views Formal Methods» more  IFL 2007»
15 years 3 months ago
Debugging Lazy Functional Programs by Asking the Oracle
Bernd Braßel, Holger Siegel
85
Voted
ICML
2008
IEEE
15 years 10 months ago
Sparse multiscale gaussian process regression
Most existing sparse Gaussian process (g.p.) models seek computational advantages by basing their computations on a set of m basis functions that are the covariance function of th...
Bernhard Schölkopf, Christian Walder, Kwang I...
67
Voted
IPPS
2000
IEEE
15 years 2 months ago
Parallel Low-Level Image Processing on a Distributed-Memory System
The paper presents a method to integrate parallelism in the DIPLIB sequential image processing library. The library contains several framework functions for di erent types of opera...
Cristina Nicolescu, Pieter Jonker
66
Voted
ICASSP
2011
IEEE
14 years 1 months ago
Estimation of symmetric chi-square divergence for point processes
This paper addresses the estimation of symmetric χ2 -divergence between two point processes. We propose a novel approach by, first, mapping the space of spike trains in an appro...
Il Park, Sohan Seth, Murali Rao, José Carlo...