Sciweavers

1860 search results - page 38 / 372
» A Temporal Logic of Robustness
Sort
View
91
Voted
JMM2
2008
102views more  JMM2 2008»
15 years 20 days ago
Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
Saul Pomares Hernandez, Luis A. Morales Rosales, J...
87
Voted
AIMSA
2008
Springer
15 years 7 months ago
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
Roman Barták, Ondrej Cepek
91
Voted
COMPSAC
2009
IEEE
15 years 5 months ago
Temporally Robust Software Features for Authorship Attribution
Authorship attribution is used to determine the creator of works among many candidates, playing a vital role in software forensics, authorship disputes and academic integrity inve...
Steven Burrows, Alexandra L. Uitdenbogerd, Andrew ...
ICPR
2000
IEEE
15 years 5 months ago
Occlusion Robust Tracking Utilizing Spatio-Temporal Markov Random Field Model
Shunsuke Kamijo, Yasuyuki Matsushita, Katsushi Ike...
57
Voted
AIPS
2007
15 years 3 months ago
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches
Yasmina Abdeddaïm, Eugene Asarin, Matthieu Ga...