9067 search results - page 273 / 1814 » Adaptive Model Checking |
164
click to vote
IJCNLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper presents an empirical study on four techniques of language model adaptation, including a maximum a posteriori (MAP) method and three discriminative training mo...
176
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
176
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
187
click to vote
QSIC
2007
IEEE
16 years 27 days ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
202
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...