Sciweavers

59 search results - page 8 / 12
» The AEX Method and Its Instrumentation
Sort
View
ICSE
2008
IEEE-ACM
14 years 7 months ago
Juzi: a tool for repairing complex data structures
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
Bassem Elkarablieh, Sarfraz Khurshid
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
14 years 1 months ago
Incremental polyphonic audio to score alignment using beat tracking for singer robots
— We aim at developing a singer robot capable of listening to music with its own “ears” and interacting with a human’s musical performance. Such a singer robot requires at ...
Takuma Otsuka, Toru Takahashi, Hiroshi G. Okuno, K...
PLDI
2010
ACM
13 years 10 months ago
Detecting Inefficiently-Used Containers to Avoid Bloat
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
Guoqing Xu, Atanas Rountev
ACMACE
2007
ACM
13 years 10 months ago
Pinocchio: conducting a virtual symphony orchestra
We present a system that allows users of any skill to conduct a virtual orchestra. Tempo and volume of the orchestra's performance are influenced with a baton. Pinocchio work...
Bernd Bruegge, Christoph Teschner, Peter Lachenmai...
BMCBI
2010
152views more  BMCBI 2010»
13 years 6 months ago
A high-throughput de novo sequencing approach for shotgun proteomics using high-resolution tandem mass spectrometry
Background: High-resolution tandem mass spectra can now be readily acquired with hybrid instruments, such as LTQ-Orbitrap and LTQ-FT, in high-throughput shotgun proteomics workflo...
Chongle Pan, Byung-Hoon Park, William H. McDonald,...