1100 search results - page 52 / 220 » Instrumenting annotated programs |
187
click to vote
PLDI
2011
ACM
14 years 8 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...
155
click to vote
ICASSP
2011
IEEE
14 years 9 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...
247
click to vote
BALT
2010
15 years 1 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...
235
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 ...
138
click to vote
ICLP
2007
Springer
16 years 4 days 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...