1463 search results - page 36 / 293 » The State of the Art in Language Modeling |
117
click to vote
TSE
2010
14 years 12 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
296
click to vote
ICSE
2012
IEEE-ACM
13 years 3 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
101
click to vote
COLING
2000
15 years 2 months ago
2000
Systems now exist which are able to con:pile unification gralmnars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial l...
142
click to vote
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
189
click to vote
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...