1488 search results - page 223 / 298 » Measuring Semantic Coverage |
115
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
SIGIR
2011
ACM
14 years 2 months ago
2011
ACM
Search engine switching is the voluntary transition between Web search engines. Engine switching can occur for a number of reasons, including user dissatisfaction with search resu...
109
click to vote
DAGSTUHL
2011
13 years 11 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
102
click to vote
MM
2005
ACM
15 years 4 months ago
2005
ACM
Automatically extracting semantic content from audio streams can be helpful in many multimedia applications. Motivated by the known limitations of traditional supervised approache...
ICNP
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...