9443 search results - page 208 / 1889 » Web-centric language models |
161
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
180
click to vote
WSPI
2004
15 years 7 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
146
click to vote
EMNLP
2010
15 years 4 months ago
2010
Automated essay scoring is one of the most important educational applications of natural language processing. Recently, researchers have begun exploring methods of scoring essays ...
160
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
165
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Annotated corpora are valuable resources for NLP which are often costly to create. We introduce a method for transferring annotation from a morphologically annotated corpus of a so...