7529 search results - page 289 / 1506 » The Modula-3 Type System |
171
Voted
COLING
2010
15 years 1 months ago
2010
In this paper we consider the problem of building a system to predict readability of natural-language documents. Our system is trained using diverse features based on syntax and l...
200
click to vote
IJNSEC
2010
15 years 1 months ago
2010
Remote user authentication scheme is one of the simplest and the most convenient authentication mechanisms to deal with secret data over insecure networks. These types of schemes ...
171
click to vote
JLP
2010
15 years 1 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
295
click to vote
ICALT
2011
IEEE
14 years 6 months ago
2011
IEEE
—this work addresses issues relevant to the project CLES (Cognitive and Linguistic Element Stimulation) which aims to develop a serious game for diagnosis and training of childre...
215
click to vote
AGIS
1998
15 years 6 months ago
1998
With the development of modern cities, 3-D spatial information systems (SIS) are increasingly required for spatial planning, communication systems and other applications. The geom...