Sciweavers

1837 search results - page 61 / 368
» Abstraction and the C Machine Model
Sort
View
ML
2006
ACM
187views Machine Learning» more  ML 2006»
14 years 11 months ago
Modeling, analyzing, and synthesizing expressive piano performance with graphical models
Abstract Trained musicians intuitively produce expressive variations that add to their audience's enjoyment. However, there is little quantitative information about the kinds ...
Graham Grindlay, David P. Helmbold
ASM
2000
ASM
15 years 4 months ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
SOFSEM
2012
Springer
13 years 7 months ago
Turing Machines for Dummies - Why Representations Do Matter
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
Peter van Emde Boas
CEFP
2005
Springer
15 years 5 months ago
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
Kevin Hammond
JOT
2007
138views more  JOT 2007»
14 years 11 months ago
Flexible Language Interoperability
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
Torbjörn Ekman, Peter Mechlenborg, Ulrik Pagh...