Sciweavers

1878 search results - page 22 / 376
» The Vienna Abstract Machine
Sort
View
ICML
2008
IEEE
14 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
14 years 3 months ago
On the LearnAbility of Abstraction Theories from Observations for Relational Learning
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
TCS
2012
12 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...
DAGM
2005
Springer
14 years 3 months ago
Three-Dimensional Shape Knowledge for Joint Image Segmentation and Pose Estimation
Abstract. This paper presents the integration of 3D shape knowledge into a variational model for level set based image segmentation and tracking. Having a 3D surface model of an ob...
Thomas Brox, Bodo Rosenhahn, Joachim Weickert
LICS
1998
IEEE
14 years 2 months ago
Existential Second-Order Logic over Strings
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
Thomas Eiter, Georg Gottlob, Yuri Gurevich