2119 search results - page 112 / 424 » Structure-Preserving Model Reduction |
119
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
158
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
111
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
It is widely known that the quality of confidence measure is critical for speech applications. In this paper, we present our recent work on improving word confidence scores by cal...
130
click to vote
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
Relevance feedback, which traditionally uses the terms in the relevant documents to enrich the user's initial query, is an effective method for improving retrieval performanc...
122
click to vote
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...