Sciweavers

1261 search results - page 69 / 253
» A Hierarchy of Temporal Properties
Sort
View
ICIP
2000
IEEE
15 years 11 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
15 years 11 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...
80
Voted
TIME
2005
IEEE
15 years 3 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
97
Voted
BIRTHDAY
2006
Springer
15 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
90
Voted
NJC
2002
109views more  NJC 2002»
14 years 10 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...