6 search results - page 1 / 2 » Dimensions of Difficulty in Translating Natural Language int... |
EDM
2009
13 years 2 months ago
2009
In this paper, we present a study of a large corpus of student logic exercises in which we explore the relationship between two distinct measures of difficulty: the proportion of s...
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
EGOV
2010
Springer
13 years 5 months ago
2010
Springer
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...
SEMCO
2007
IEEE
13 years 11 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...