11716 search results - page 97 / 2344 » Computable symbolic dynamics |
165
click to vote
SPIESR
1996
15 years 7 months ago
1996
Two approaches for integrating images into the framework of a database management system are presented. The classi cation approach preprocesses all images and attaches a semantic ...
140
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A pseudorandom point in an ergodic dynamical system over a computable metric space is a point which is computable but its dynamics has the same statistical behavior of a typical po...
163
click to vote
ERSHOV
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
169
click to vote
CODES
2008
IEEE
16 years 22 days ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
187
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...