Sciweavers

1892 search results - page 23 / 379
» Warren's Abstract Machine
Sort
View
70
Voted
CMSB
2010
Springer
14 years 4 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
74
Voted
GMP
2010
IEEE
213views Solid Modeling» more  GMP 2010»
15 years 2 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
53
Voted
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...
64
Voted
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...
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...