Sciweavers

1980 search results - page 211 / 396
» On the Associative Nijenhuis Relation
Sort
View
ECAI
2006
Springer
15 years 5 months ago
Smoothed Particle Filtering for Dynamic Bayesian Networks
Particle filtering (PF) for dynamic Bayesian networks (DBNs) with discrete-state spaces includes a resampling step which concentrates samples according to their relative weight in ...
Theodore Charitos
BPM
2003
Springer
123views Business» more  BPM 2003»
15 years 5 months ago
A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
Piotr Chrzastowski-Wachtel, Boualem Benatallah, Ra...
BMVC
2002
15 years 3 months ago
Alignment using Spectral Clusters
This paper describes a hierarchical spectral method for the correspondence matching of point-sets. Conventional spectral methods for correspondence matching are notoriously suscep...
Marco Carcassoni, Edwin R. Hancock
CSL
2008
Springer
15 years 3 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent
FOIS
2010
15 years 2 months ago
Foundations for an Ontology of Environment and Habitat
Abstract. The paper examines the semantics of the terms `environment' and `habitat' and presents a semi-formalised ontological framework in which these concepts are relat...
Brandon Bennett