Sciweavers

1892 search results - page 23 / 379
» Warren's Abstract Machine
Sort
View
102
Voted
CMSB
2010
Springer
14 years 9 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
101
Voted
GMP
2010
IEEE
213views Solid Modeling» more  GMP 2010»
15 years 7 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
16 years 3 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 8 months ago
On the LearnAbility of Abstraction Theories from Observations for Relational Learning
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
139
Voted
TCS
2012
13 years 10 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...