Sciweavers

5275 search results - page 294 / 1055
» Computing by observing
Sort
View
CSDA
2006
84views more  CSDA 2006»
15 years 4 months ago
Performing hypothesis tests on the shape of functional data
We explore different approaches for performing hypothesis tests on the shape of a mean function by developing general methodologies both, for the often assumed, i.i.d. error struc...
Gareth M. James, Ashish Sood
FOSSACS
2009
Springer
15 years 11 months ago
Reactive Systems, Barbed Semantics, and the Mobile Ambients
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina ...
JMLR
2006
92views more  JMLR 2006»
15 years 4 months ago
Linear Programs for Hypotheses Selection in Probabilistic Inference Models
We consider an optimization problem in probabilistic inference: Given n hypotheses Hj, m possible observations Ok, their conditional probabilities pk j, and a particular Ok, selec...
Anders Bergkvist, Peter Damaschke, Marcel Lüt...
ICMCS
2007
IEEE
151views Multimedia» more  ICMCS 2007»
15 years 11 months ago
Exploring Contextual Information in a Layered Framework for Group Action Recognition
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...
Dong Zhang, Samy Bengio
IANDC
2008
84views more  IANDC 2008»
15 years 4 months ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy