Sciweavers

112 search results - page 10 / 23
» A Sparsification Approach for Temporal Graphical Model Decom...
Sort
View
TCSV
2002
229views more  TCSV 2002»
13 years 7 months ago
Automatic segmentation of moving objects in video sequences: a region labeling approach
Abstract--The emerging video coding standard MPEG-4 enables various content-based functionalities for multimedia applications. To support such functionalities, as well as to improv...
Yaakov Tsaig, Amir Averbuch
SEFM
2005
IEEE
14 years 1 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
APGV
2009
ACM
14 years 2 months ago
On predicting visual popping in dynamic scenes
Popping is a major source of visual artifacts in dynamic scenes. To alleviate or avoid it, usually some temporal smoothing scheme is employed or levels of detail are chosen conser...
Michael Schwarz, Marc Stamminger
MFCS
1997
Springer
13 years 11 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...
SIBGRAPI
2006
IEEE
14 years 1 months ago
Expression Transfer between Photographs through Multilinear AAM's
Expression Transfer is a method for mapping a photographed expression performed by a given subject onto the photograph of another person’s face. Building on well succeeded previ...
Ives Macedo, Emilio Vital Brazil, Luiz Velho