Sciweavers

1261 search results - page 69 / 253
» A Hierarchy of Temporal Properties
Sort
View
ICIP
2000
IEEE
14 years 10 months ago
On the Performance of Temporal Error Concealment for Long-Term Motion-Compensated Prediction
This paper investigates the performance of different temporal concealment techniques when incorporated within a long-term motion compensated video codec. In particular, the paper ...
Mohammed E. Al-Mualla, Cedric Nishan Canagarajah, ...
MICCAI
2004
Springer
14 years 9 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...
TIME
2005
IEEE
14 years 2 months ago
An XML-Based Framework for Temporal Database Implementation
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
Seo-Young Noh, Shashi K. Gadia
BIRTHDAY
2006
Springer
14 years 21 days 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
NJC
2002
109views more  NJC 2002»
13 years 8 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...