5900 search results - page 70 / 1180 » Dependable Systems |
LISP
2002
13 years 9 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
EMNLP
2008
13 years 11 months ago
2008
Graph-based and transition-based approaches to dependency parsing adopt very different views of the problem, each view having its own strengths and limitations. We study both appr...
CRITIS
2008
13 years 11 months ago
2008
The interdependencies between infrastructures may be the cause of serious problems in mission/safety critical systems. In the CRUTIAL3 project the interdependencies between the ele...
IJCAI
2001
13 years 11 months ago
2001
The majority of existing language generation systems have a pipeline architecture which offers efficient sequential execution of modules, but does not allow decisions about text c...
EMNLP
2007
13 years 11 months ago
2007
We present a two-stage multilingual dependency parsing system submitted to the Multilingual Track of CoNLL-2007. The parser first identifies dependencies using a deterministic p...