4355 search results - page 359 / 871 » From Interpretation to Compilation |
157
click to vote
JURIX
2008
15 years 8 months ago
2008
The work described here builds on [1], where we presented a categorisation of norms or provisions in legislation. We claimed that the categories are characterized by the use of ty...
147
click to vote
LREC
2008
15 years 8 months ago
2008
This paper presents a method for compiling a large-scale bilingual corpus from a database of movie subtitles. To create the corpus, we propose an algorithm based on Gale and Churc...
162
click to vote
AAAI
2006
15 years 8 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
183
click to vote
ACSW
2006
15 years 8 months ago
2006
Developing profiles to describe user or system behaviour is a useful technique employed in Computer Forensic investigations. Information found in data obtained by investigators ca...
159
click to vote
AAAI
2000
15 years 8 months ago
2000
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...