7529 search results - page 1283 / 1506 » The Modula-3 Type System |
156
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
167
click to vote
ECML
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems ...
200
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
140
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
131
click to vote
FPGA
2003
ACM
15 years 11 months ago
2003
ACM
Placement and routing are the most time-consuming processes in automatically synthesizing and configuring circuits for field-programmable gate arrays (FPGAs). In this paper, we ...