2713 search results - page 345 / 543 » Parameterized Tree Systems |
157
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
147
click to vote
ADBIS
2008
Springer
15 years 8 months ago
2008
Springer
In many problems the raw data is already classified according to a variety of features using some linear classification algorithm but needs to be reclassified. We introduce a novel...
151
click to vote
ACL
2008
15 years 8 months ago
2008
We propose a language model based on a precise, linguistically motivated grammar (a hand-crafted Head-driven Phrase Structure Grammar) and a statistical model estimating the proba...
149
click to vote
LREC
2010
15 years 8 months ago
2010
We describe two corpora of question and answer pairs collected for complex, open-domain Question Answering (QA) to enable answer classification and re-ranking experiments. We deli...
165
click to vote
IC
2004
15 years 7 months ago
2004
With the explosion of the Internet the World Wide Web today has become an infinite source of information. Hence, it is important that one be able to categorize, understand and be a...