3844 search results - page 337 / 769 » Modular interpreted systems |
157
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
144
click to vote
NDSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...
121
click to vote
ICAIL
1999
ACM
15 years 9 months ago
1999
ACM
Document drafting is a key component of legal expertise. E ective legal document drafting requires knowledge both of legal domain knowledge and of the structure of legal discourse...
126
click to vote
VL
1996
IEEE
15 years 9 months ago
1996
IEEE
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...
135
click to vote
IEAAIE
1994
Springer
15 years 9 months ago
1994
Springer
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...