Sciweavers

1889 search results - page 23 / 378
» An Abstract Machine for Oz
Sort
View
CMSB
2010
Springer
14 years 11 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
ICML
2008
IEEE
16 years 5 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 10 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 9 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 12 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...