Sciweavers

2016 search results - page 8 / 404
» Some observations on HC-128
Sort
View
DKE
2008
88views more  DKE 2008»
13 years 10 months ago
Quantifying process equivalence based on observed behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
Ana Karla Alves de Medeiros, Wil M. P. van der Aal...
ALT
2008
Springer
13 years 11 months ago
Some Sufficient Conditions on an Arbitrary Class of Stochastic Processes for the Existence of a Predictor
Abstract. We consider the problem of sequence prediction in a probabilistic setting. Let there be given a class C of stochastic processes (probability measures on the set of one-wa...
Daniil Ryabko
CORR
2007
Springer
137views Education» more  CORR 2007»
13 years 9 months ago
Cross-Matching Multiple Spatial Observations and Dealing with Missing Data
: Cross-match spatially clusters and organizes several astronomical point-source measurements from one or more surveys. Ideally, each object would be found in each survey. Unfortun...
Jim Gray, Alexander S. Szalay, Tamas Budavari, Rob...
JUCS
2006
73views more  JUCS 2006»
13 years 9 months ago
Proving Properties for Behavioural Specifications with Term Observation
: Behavioural specifications allow to focus only on the"observable" behaviour of objects. These observations are made through "observable contexts" which are pa...
Narjes Berregeb
AIPS
2006
13 years 11 months ago
On Some Tractable Cases of Logical Filtering
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
T. K. Satish Kumar, Stuart J. Russell