Sciweavers

2374 search results - page 282 / 475
» Automatic Generation of Model Translations
Sort
View
IWMM
2004
Springer
101views Hardware» more  IWMM 2004»
15 years 12 months ago
Region analysis and transformation for Java programs
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
Sigmund Cherem, Radu Rugina
MM
2003
ACM
120views Multimedia» more  MM 2003»
15 years 11 months ago
Linking multimedia presentations with their symbolic source documents: algorithm and applications
An algorithm is presented that automatically matches images of presentation slides to the symbolic source file (e.g., PowerPointTM or AcrobatTM ) from which they were generated. T...
Berna Erol, Jonathan J. Hull, Dar-Shyang Lee
FPCA
1993
15 years 10 months ago
Benchmarking Implementations of Lazy Functional Languages
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
Pieter H. Hartel, Koen Langendoen
APSEC
2004
IEEE
15 years 10 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
ICPR
2010
IEEE
15 years 9 months ago
Deep Belief Networks for Real-Time Extraction of Tongue Contours from Ultrasound During Speech
Ultrasound has become a useful tool for speech scientists studying mechanisms of language sound production. State-of-the-art methods for extracting tongue contours from ultrasound...
Ian Fasel, Jeff Berry