3335 search results - page 113 / 667 » Grid result checking |
141
Voted
ISM
2005
IEEE
15 years 9 months ago
2005
IEEE
—We present a method for segmenting music with different grid levels in order to properly quantize note values in the transcription of music. This method can be used in automatic...
178
click to vote
GRID
2010
Springer
15 years 23 days ago
2010
Springer
Abstract The EGEE grid offers the necessary infrastructure and resources for reducing the running time of particle tracking Monte-Carlo applications like GATE. However, efforts are...
136
Voted
STACS
2010
Springer
15 years 10 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
122
Voted
ICDT
2009
ACM
15 years 10 months ago
2009
ACM
Managing inconsistency in databases has long been recognized as an important problem. One of the most promising approaches to coping with inconsistency in databases is the framewo...
118
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...