2935 search results - page 396 / 587 » An Integrated Approach to High Integrity Software Verificati... |
319
click to vote
CG
2000
Springer
15 years 6 months ago
2000
Springer
Introductory computer graphics courses are changing their focus and learning environments. Improvements in hardware and software technology coupled with changes in preparation, in...
161
click to vote
TASLP
2011
15 years 1 months ago
2011
—We present a new technique for joint estimation of the chord progression and the downbeats from an audio file. Musical signals are highly structured in terms of harmony and rhy...
244
click to vote
CCE
2011
14 years 10 months ago
2011
The alternative fuel butanol can be produced via acetone-butanol-ethanol (ABE) fermentation from renewable resources, i.e. biomass. Expensive feedstocks and the high costs for the...
217
click to vote
PAMI
2012
13 years 8 months ago
2012
— Art historians have long observed the highly characteristic brushstroke styles of Vincent van Gogh and have relied on discerning these styles for authenticating and dating his ...
174
click to vote
KAIS
2007
15 years 6 months ago
2007
We present an adaptive load shedding approach for windowed stream joins. In contrast to the conventional approach of dropping tuples from the input streams, we explore the concept ...