Sciweavers

820 search results - page 61 / 164
» Inducing Temporal Graphs
Sort
View
IWOCA
2010
Springer
240views Algorithms» more  IWOCA 2010»
14 years 6 months ago
Path-Based Supports for Hypergraphs
A path-based support of a hypergraph H is a graph with the same vertex set as H in which each hyperedge induces a Hamiltonian subgraph. While it is NP-complete to compute a path-ba...
Ulrik Brandes, Sabine Cornelsen, Barbara Pampel, A...
PSTV
1993
123views Hardware» more  PSTV 1993»
15 years 1 months ago
On the Verification of Temporal Properties
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
Patrice Godefroid, Gerard J. Holzmann
ISBI
2004
IEEE
16 years 17 days ago
Subpixel Registration in Renal Perfusion MR Image Sequence
We propose a subpixel registration algorithm to deal with the motion induced by breathing for renal perfusion MR image sequences. Our approach minimizes an energy functional that ...
Chien Ho, José M. F. Moura, Ying Sun
ICC
2007
IEEE
105views Communications» more  ICC 2007»
15 years 6 months ago
Intersymbol Interference Due to the Atmospheric Turbulence for Free-Space Optical Communication System
—Weak atmospheric turbulence causes pulse broadening of an optical signal. In this article, we drive the pulse broadening as a function of turbulence strength by temporal moments...
Mostofa K. Howlader, Jinho Jung
ISVC
2010
Springer
14 years 10 months ago
Face Recognition in Videos Using Adaptive Graph Appearance Models
Abstract. In this paper, we present a novel graph, sub-graph and supergraph based face representation which captures the facial shape changes and deformations caused due to pose ch...
Gayathri Mahalingam, Chandra Kambhamettu