1100 search results - page 52 / 220 » Instrumenting annotated programs |
162
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
135
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Separating multiple tracks from professionally produced music recordings (PPMRs) is still a challenging problem. We address this task with a user-guided approach in which the sepa...
215
click to vote
BALT
2010
14 years 11 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
207
click to vote
Book
"MPEG-4 Structured Audio (MP4-SA) is an ISO/IEC standard (edited by Eric Scheirer) that specifies sound not as audio data, but as a computer program that generates audio when ...
118
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...