10891 search results - page 341 / 2179 » Combining Model Reductions |
169
click to vote
TCAD
2008
15 years 4 months ago
2008
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
127
click to vote
CTRSA
2005
Springer
15 years 10 months ago
2005
Springer
Traditional password-based authentication and key-exchange protocols suffer from the simple fact that a single server stores the sensitive user password. In practice, when such a ...
152
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
151
click to vote
ACL
2008
15 years 6 months ago
2008
Discriminative feature-based methods are widely used in natural language processing, but sentence parsing is still dominated by generative methods. While prior feature-based dynam...
136
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper considers dynamic language model adaptation for Mandarin broadcast news recognition. Both contemporary newswire texts and in-domain automatic transcripts were exploited...