7 search results - page 1 / 2 » Iterating Transducers |
CAV
2001
Springer
13 years 9 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
CAV
2003
Springer
13 years 10 months ago
2003
Springer
TCIAIG
2010
12 years 12 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
ICCV
2007
IEEE
14 years 7 months ago
2007
IEEE
Closing the semantic gap in content based image retrieval (CBIR) basically requires the knowledge of the user's intention which is usually translated into a sequence of quest...
TCS
2011
13 years 1 days ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...