5671 search results - page 399 / 1135 » A Semantic Approach to Interpolation |
190
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
198
click to vote
FQAS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Highly heterogeneous XML collections are thematic collections exploiting different structures: the parent-child or ancestor-descendant relationships are not preserved and...
170
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
194
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
198
click to vote
EMNLP
2007
15 years 9 months ago
2007
We present a domain-independent unsupervised topic segmentation approach based on hybrid document indexing. Lexical chains have been successfully employed to evaluate lexical cohe...