Effectively closed sets and graphs of computable real functions

By Cenzer D.   Remmel J.B.  

Theoretical Computer Science, Vol. 284, Iss. 2, 2002-07 ,pp. : 279-318

Elsevier

Access to resources Recommend Favorite

Recursive characterization of computable real-valued functions and relations

By Brattka V.  

Theoretical Computer Science, Vol. 162, Iss. 1, 1996-08 ,pp. : 45-77

Elsevier

Access to resources Recommend Favorite

Checking Finite Traces using Alternating Automata

By Finkbeiner B.   Sipma H.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 2, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite

Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning

By Dean T.  

Machine Learning, Vol. 18, Iss. 1, 1995-01 ,pp. : 81-108

Springer Publishing Company

Access to resources Recommend Favorite

Enhancements of partitioning techniques for image compression using weighted finite automata

By Katritzke F.   Merzenich W.   Thomas M.  

Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. : 133-144

Elsevier

Access to resources Recommend Favorite