Sciweavers

509 search results - page 46 / 102
» Dynamic Modeling in Inductive Inference
Sort
View
CVPR
2010
IEEE
14 years 4 months ago
What's going on? Discovering Spatio-Temporal Dependencies in Dynamic Scenes
We present two novel methods to automatically learn spatio-temporal dependencies of moving agents in complex dynamic scenes. They allow to discover temporal rules, such as the rig...
Daniel Kuettel, Michael Breitenstein, Luc Van Gool...
IANDC
2008
112views more  IANDC 2008»
13 years 8 months ago
Inclusion dynamics hybrid automata
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
Alberto Casagrande, Carla Piazza, Alberto Policrit...
AI
2004
Springer
14 years 1 months ago
Knowledge Provenance
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
Mark S. Fox, Jingwei Huang
IJCAI
2003
13 years 9 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
BMCBI
2006
239views more  BMCBI 2006»
13 years 8 months ago
Applying dynamic Bayesian networks to perturbed gene expression data
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...
Norbert Dojer, Anna Gambin, Andrzej Mizera, Bartek...