Sciweavers

552 search results - page 72 / 111
» Observable Graphs
Sort
View
ICIP
2008
IEEE
14 years 9 months ago
Spatiotemporal modeling and matching of video shots
In this paper, we propose a framework to model video sequences using spatiotemporal description of video shots. Spatiotemporal volumes are extracted thanks to an efficient segment...
Eric Galmar, Benoit Huet
ICCD
2006
IEEE
123views Hardware» more  ICCD 2006»
14 years 4 months ago
Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
Marc Boule, Jean-Samuel Chenard, Zeljko Zilic
ICPR
2008
IEEE
14 years 2 months ago
Embedding HMM's-based models in a Euclidean space: The topological hidden Markov models
One of the major limitations of HMM-based models is the inability to cope with topology: When applied to a visible observation (VO) sequence, HMM-based techniques have difficulty ...
Djamel Bouchaffra
BVAI
2005
Springer
14 years 1 months ago
Algorithm That Mimics Human Perceptual Grouping of Dot Patterns
We propose an algorithm that groups points similarly to how human observers do. It is simple, totally unsupervised and able to find clusters of complex and not necessarily convex s...
Giuseppe Papari, Nicolai Petkov
DSN
2004
IEEE
13 years 11 months ago
Does Your Result Checker Really Check?
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
Lan Guo, Supratik Mukhopadhyay, Bojan Cukic