Sciweavers

2226 search results - page 9 / 446
» Pdk: The System and Its Language
Sort
View
PET
2004
Springer
15 years 2 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
ACL
1992
14 years 10 months ago
Metonymy: Reassessment, Survey of Acceptability, and its Treatment in a Machine Translation System
In this article we outline a basic approach to treating metonymy properly in a multilingual machine translation system. This is the first attempt at treating metonymy in an machin...
Shin-ichiro Kamei, Takahiro Wakao
ICSE
1995
IEEE-ACM
15 years 1 months ago
Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts
Many would argue that future breakthroughs in software productivity will dependon our ability to combine existing pieces of software to produce new applications. An important step...
David Garlan, Robert Allen, John Ockerbloom
JFP
2000
95views more  JFP 2000»
14 years 9 months ago
A modular module system
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
Xavier Leroy
COLING
2002
14 years 9 months ago
A Linguistic Discovery Program that Verbalizes its Discoveries
We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...
Vladimir Pericliev