827 search results - page 62 / 166 » Patterns for Timed Property Specifications |
129
click to vote
PR
2008
15 years 3 months ago
2008
The "bag-of-frames" approach (BOF) to audio pattern recognition models signals as the long-term statistical distribution of their local spectral features, a prototypical...
133
click to vote
STOC
2003
ACM
16 years 3 months ago
2003
ACM
We present a general approach for designing approximation algorithms for a fundamental class of geometric clustering problems in arbitrary dimensions. More specifically, our appro...
138
click to vote
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We set out to answer a question we were asked by software project management: how much effort remains to be spent on a specific software project and how will that effort be distri...
122
click to vote
DAC
2000
ACM
15 years 7 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
119
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...