5159 search results - page 688 / 1032 » Structural Testing of Executables |
184
click to vote
MTA
2006
15 years 7 months ago
2006
This work addresses the soundtrack indexing of multimedia documents. We present and merge two audio classification tools that we have developed. The first one, a speech music clas...
175
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
172
click to vote
TCAD
2008
15 years 7 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
175
click to vote
CL
2004
Springer
15 years 7 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
172
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Anaphora resolution is envisaged in this paper as part of the reference resolution process. A general open architecture is proposed, which can be particularized and configured in ...