Sciweavers

1966 search results - page 3 / 394
» Data Types In Computational Phonology
Sort
View
FSTTCS
2007
Springer
14 years 5 days ago
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
Judicaël Courant, Cristian Ene, Yassine Lakhn...
IWRIDL
2006
ACM
141views Education» more  IWRIDL 2006»
13 years 12 months ago
Shallow syntax analysis in Sanskrit guided by semantic nets constraints
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
Gérard P. Huet
CHI
2011
ACM
12 years 9 months ago
Data type based security alert dialogs
Max-Emanuel Maurer, Alexander De Luca, Heinrich Hu...
COLING
2002
13 years 5 months ago
Bringing the Dictionary to the User: The FOKS System
The dictionary look-up of unknown words is particularly difficult in Japanese due to the complicated writing system. We propose a system which allows learners of Japanese to look ...
Slaven Bilac, Timothy Baldwin, Hozumi Tanaka
BIRTHDAY
2008
Springer
13 years 8 months ago
Observability Concepts in Abstract Data Type Specification, 30 Years Later
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
Donald Sannella, Andrzej Tarlecki