Sciweavers

1889 search results - page 23 / 378
» An Abstract Machine for Oz
Sort
View
CMSB
2010
Springer
14 years 4 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
ICML
2008
IEEE
15 years 10 months ago
Inverting the Viterbi algorithm: an abstract framework for structure design
act Framework For Structure Design Michael Schnall-Levin Massachusetts Institute of Technology Joint work with: Leonid Chindelevitch and Bonnie Berger
Michael Schnall-Levin, Leonid Chindelevitch, Bonni...
ECML
2005
Springer
15 years 3 months ago
On the LearnAbility of Abstraction Theories from Observations for Relational Learning
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
MOZ
2004
Springer
15 years 3 months ago
The XDG Grammar Development Kit
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
Ralph Debusmann, Denys Duchier, Joachim Niehren
TCS
2012
13 years 5 months ago
Improved simulation of nondeterministic Turing machines
Abstract. The standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one essentially searches a large boundeddegree graph whose size is exponential in th...
Subrahmanyam Kalyanasundaram, Richard J. Lipton, K...