Sciweavers

319 search results - page 22 / 64
» Dynamically inferring temporal properties
Sort
View
CVPR
2006
IEEE
14 years 12 months ago
Classifying Human Dynamics Without Contact Forces
We develop a classification algorithm for hybrid autoregressive models of human motion for the purpose of videobased analysis and recognition. We assume that some temporal statist...
Alessandro Bissacco, Stefano Soatto
ICMLA
2007
13 years 11 months ago
Uncertainty optimization for robust dynamic optical flow estimation
We develop an optical flow estimation framework that focuses on motion estimation over time formulated in a Dynamic Bayesian Network. It realizes a spatiotemporal integration of ...
Volker Willert, Marc Toussaint, Julian Eggert, Edg...
MICCAI
2004
Springer
14 years 10 months ago
Spatio-Temporal Free-Form Registration of Cardiac MR Image Sequences
In this paper we develop a spatio-temporal registration algorithm for cardiac MR image sequences. The algorithm has the ability to correct any spatial misalignment between the imag...
Dimitrios Perperidis, Raad Mohiaddin, Daniel Rueck...
BIRTHDAY
2006
Springer
14 years 1 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
APAL
2005
125views more  APAL 2005»
13 years 9 months ago
Dynamic topological logic
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
Philip Kremer, Grigori Mints