Sciweavers

1892 search results - page 23 / 379
» Warren's Abstract Machine
Sort
View
CMSB
2010
Springer
13 years 3 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
GMP
2010
IEEE
213views Solid Modeling» more  GMP 2010»
14 years 1 months ago
Piecewise Tri-linear Contouring for Multi-material Volumes
Abstract. The ability to model objects composed of multiple materials has become increasingly more demanded in scientific applications. The visualization of a discrete multi-mater...
Powei Feng, Tao Ju, Joe D. Warren
ICML
2008
IEEE
14 years 9 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 2 months ago
On the LearnAbility of Abstraction Theories from Observations for Relational Learning
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
TCS
2012
12 years 4 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...