14403 search results - page 132 / 2881 » Dynamical Systems Trees |
JOLPE
2006
15 years 4 months ago
2006
119
click to vote
JSC
2010
15 years 2 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
135
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces an efficient method to substantially increase the recognition performance of a vocabulary tree based recognition system. We propose to enhance the hypothesi...