1760 search results - page 68 / 352 » A System to Mark Programs Automatically |
120
Voted
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
130
Voted
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
During System on Chip (SoC) design, Network on Chip (NoC) prototyping is used for adapting NoC parameters to the application running on the chip. This prototyping is currently don...
102
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
118
Voted
CMMR
2003
Springer
15 years 8 months ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
114
Voted
NAACL
2010
15 years 20 days ago
2010
Several methods for automatically generating labeled examples that can be used as training data for WSD systems have been proposed, including a semisupervised approach based on re...