9067 search results - page 288 / 1814 » Adaptive Model Checking |
170
click to vote
FASE
2005
Springer
16 years 5 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
160
click to vote
FTCS
1993
15 years 8 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
128
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We investigate language model (LM) adaptation in a meeting recognition application, where the LM is adapted based on recognition output from relevant prior meetings and partial ma...
181
click to vote
CSUR
1999
15 years 6 months ago
1999
: The navigational freedom in conventional hypermedia applications leads to comprehension and orientation problems [Nielsen 1990]. Adaptive hypermedia attempts to overcome these pr...
152
click to vote
IJCNLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper describes a method of adapting a domain-independent HPSG parser to a biomedical domain. Without modifying the grammar and the probabilistic model of the origin...