Sciweavers

1284 search results - page 195 / 257
» Abstract Processes in Orchestration Languages
Sort
View
PLILP
1998
Springer
15 years 8 months ago
A Compiler for Rewrite Programs in Associative-Commutative Theories
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
Pierre-Etienne Moreau, Hélène Kirchn...
FSTTCS
2007
Springer
15 years 8 months ago
Efficient and Expressive Tree Filters
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
Michael Benedikt, Alan Jeffrey
COOPIS
2004
IEEE
15 years 8 months ago
Text Simplification for Information-Seeking Applications
Abstract. This paper addresses the issue of simplifying natural language texts in order to ease the task of accessing factual information contained in them. We define the notion of...
Beata Beigman Klebanov, Kevin Knight, Daniel Marcu
ECAI
2006
Springer
15 years 8 months ago
Efficient Knowledge Acquisition for Extracting Temporal Relations
Abstract. Machine learning approaches in natural language processing often require a large annotated corpus. We present a complementary approach that utilizes expert knowledge to o...
Son Bao Pham, Achim G. Hoffmann
BIS
2007
92views Business» more  BIS 2007»
15 years 5 months ago
Supporting Use-Case Reviews
Abstract. Use cases are a popular way of specifying functional requirements of computer-based systems. Each use case contains a sequence of steps which are described with a natural...
Alicja Ciemniewska, Jakub Jurkiewicz, Lukasz Olek,...