Sciweavers

7288 search results - page 225 / 1458
» On process rate semantics
Sort
View
ICML
2004
IEEE
16 years 7 months ago
Gaussian process classification for segmenting and annotating sequences
Many real-world classification tasks involve the prediction of multiple, inter-dependent class labels. A prototypical case of this sort deals with prediction of a sequence of labe...
Yasemin Altun, Thomas Hofmann, Alex J. Smola
SAMOS
2009
Springer
16 years 1 months ago
Realizing FIFO Communication When Mapping Kahn Process Networks onto the Cell
Kahn Process Networks (KPN) are an appealing model of computation to specify streaming applications. When a KPN has to execute on a multi-processor platform, a mapping of the KPN m...
Dmitry Nadezhkin, Sjoerd Meijer, Todor Stefanov, E...
SAFECOMP
2007
Springer
16 years 20 days ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
EPEW
2005
Springer
16 years 2 days ago
PiDuce: A Process Calculus with Native XML Datatypes
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Mere...
FOSSACS
2004
Springer
15 years 12 months ago
Duality for Labelled Markov Processes
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
Michael W. Mislove, Joël Ouaknine, Dusko Pavl...