1837 search results - page 76 / 368 » Abstraction and the C Machine Model |
132
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
131
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
139
click to vote
EDUTAINMENT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We describe methods for high-performance and high-quality rendering of point models, including advanced shading, anti-aliasing, and transparency. we keep the rendering qu...
133
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
This paper presents a representation for melodic segment classes and applies it to music data mining. Melody is modeled as a sequence of segments, each segment being a sequenceofno...
140
click to vote
ICASSP
2009
IEEE
15 years 2 months ago
2009
IEEE
In an attempt to overcome problems associated with articulatory limitations and generative models, this work considers the use of phonological features in discriminative models fo...