770 search results - page 122 / 154 » Subsequence similarity language models |
TAPSOFT
1997
Springer
14 years 19 days ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
ACL
2006
13 years 10 months ago
2006
We first show how a structural locality bias can improve the accuracy of state-of-the-art dependency grammar induction models trained by EM from unannotated examples (Klein and Ma...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
COLING
2002
13 years 8 months ago
2002
It is shown that basic language processes such as the production of free word associations and the generation of synonyms can be simulated using statistical models that analyze th...
SACMAT
2004
ACM
14 years 1 months ago
2004
ACM
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...