Sciweavers

1980 search results - page 211 / 396
» On the Associative Nijenhuis Relation
Sort
View
ECAI
2006
Springer
15 years 10 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 10 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 9 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 8 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 8 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