877 search results - page 12 / 176 » Annotated Revision Programs |
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
FM
2001
Springer
14 years 1 months ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Annotations are often mentioned as a potential alternative to tackle the fragile nature of AspectJ pointcuts. However, annotations themselves can be considered crosscutting elemen...
HPCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Earth Science Markup Language (ESML) is efficient and effective in representing scientific data in an XML-based formalism. However, features of the data being represented are no...
LREC
2008
13 years 10 months ago
2008
Looking for a better understanding of spontaneous speech-related phenomena and to improve automatic speech recognition (ASR), we present here a study on the relationship between t...