Sciweavers

5343 search results - page 625 / 1069
» Keyword programming in java
Sort
View
MM
2006
ACM
157views Multimedia» more  MM 2006»
16 years 24 days ago
Syllabic level automatic synchronization of music signals and text lyrics
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
Denny Iskandar, Ye Wang, Min-Yen Kan, Haizhou Li
PPOPP
2006
ACM
16 years 24 days ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
WMTE
2005
IEEE
16 years 12 days ago
SmartTiles: Mobility and Wireless Programmability in Children's Construction and Crafts
This paper presents a working prototype of a mobile, programmable set of construction kit elements for children. SmartTiles are small, lightweight, independently programmable tile...
Nwanua Elumeze, Michael Eisenberg
ACMSE
2005
ACM
16 years 12 days ago
Interactive 3D terrain exploration and visualization
The CECA VisLab is currently investigating the educational uses of a GeoWall 3D Stereo Rendering system. Many commercial and non-commercial programs are currently available for ge...
Stephanie A. Smullen, Clinton W. Smullen III, Carl...
HASKELL
2005
ACM
16 years 12 days ago
Dynamic applications from the ground up
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
Don Stewart, Manuel M. T. Chakravarty