3951 search results - page 67 / 791 » Automatic amortized analysis |
101
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
138
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
120
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
For more efficient organizing, browsing, and retrieving digital video content, it is important to extract video structure information at both scene and shot levels. This paper pre...
155
click to vote
WIAMIS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper suggests an alternative solution for the task of spoken document retrieval (SDR). The proposed system runs retrieval on multi-level transcriptions (word and phone) prod...
137
Voted
GLVLSI
2008
IEEE
15 years 10 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...