278 search results - page 24 / 56 » Correcting Dependency Annotation Errors |
140
click to vote
TOOLS
2010
IEEE
15 years 9 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
142
click to vote
ECEASST
2008
15 years 4 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
124
click to vote
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
A pitch spelling algorithm predicts the pitch names of the notes in a musical passage when given the onset-time, MIDI note number and possibly the duration and voice of each note....
151
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: For many types of analyses, data about gene structure and locations of non-coding regions of genes are required. Although a vast amount of genomic sequence data is ava...
146
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...