1463 search results - page 117 / 293 » The State of the Art in Language Modeling |
117
click to vote
NAACL
2003
15 years 3 months ago
2003
Evaluating competing technologies on a common problem set is a powerful way to improve the state of the art and hasten technology transfer. Yet poorly designed evaluations can was...
129
click to vote
APSEC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
108
Voted
UM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
129
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
129
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...