37 search results - page 5 / 8 » Distinguishability of Locally Finite Trees |
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper presents an automatic video genre categorization scheme based on the hierarchical ontology on video genres. Ten computable spatio-temporal features are extracted to dis...
HAPTICS
2005
IEEE
14 years 2 months ago
2005
IEEE
People rely on tactile edge localization to ascertain the location and structure of edges. When pressure is applied to the skin, skin mechanoreceptors convert compressive stress/s...
CAV
2004
Springer
14 years 6 days ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...
TCS
2008
13 years 8 months ago
2008
We consider the problem of periodic graph exploration by a finite automaton in which an automaton with a constant number of states has to explore all unknown anonymous graphs of a...