Sciweavers

1221 search results - page 78 / 245
» Mixed-Initiative Development of Language Processing Systems
Sort
View
CIKM
2001
Springer
14 years 1 months ago
X007: Applying 007 Benchmark to XML Query Processing Tool
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
Stéphane Bressan, Gillian Dobbie, Zoé...
POPL
2001
ACM
14 years 9 months ago
A generic type system for the Pi-calculus
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
Atsushi Igarashi, Naoki Kobayashi
ACL
1998
13 years 10 months ago
Universal Grammar and Lexis for Quick Ramp-Up of MT
This paper introduces Boas, a semi-automatic knowledge elicitation system that guides a team of two people through the process of developing the static knowledge sources for a mod...
Sergei Nirenburg, Victor Raskin
IFIP
1993
Springer
14 years 25 days ago
Architecture of Integrated Information Systems (ARIS)
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
August-Wilhelm Scheer
POST
2012
218views more  POST 2012»
12 years 4 months ago
A Core Calculus for Provenance
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perer...