Sciweavers

1149 search results - page 133 / 230
» Minimally non-Pfaffian graphs
Sort
View
VR
2009
IEEE
136views Virtual Reality» more  VR 2009»
16 years 1 months ago
An Image-Warping Architecture for VR: Low Latency versus Image Quality
Designing low end-to-end latency system architectures for virtual reality is still an open and challenging problem. We describe the design, implementation and evaluation of a clie...
Ferdi A. Smit, Robert van Liere, Stephan Beck, Ber...
ECSQARU
2009
Springer
16 years 26 days ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conļ¬...
Vasiliki Efstathiou, Anthony Hunter
GBRPR
2009
Springer
16 years 26 days ago
Matching Hierarchies of Deformable Shapes
This paper presents an approach to matching parts of deformable shapes. Multiscale salient parts of the two shapes are first identified. Then, these parts are matched if their im...
Nadia Payet, Sinisa Todorovic
ISCIS
2009
Springer
16 years 26 days ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
ICASSP
2008
IEEE
16 years 22 days ago
Optical flow robust estimation in a hybrid multi-resolution MRF framework
We propose in this paper a robust multi-resolution technique to estimate dense velocity field from image sequences. It couples a Gaussian pyramidal down-sampling decomposition to...
Cyril Cassisa, Véronique Prinet, Liang Shao...