3001 search results - page 197 / 601 » Recursive type generativity |
191
click to vote
SAS
1993
Springer
15 years 10 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
185
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
The use of artificial outputs generated by a classifier simulator has recently emerged as a new trend to provide an underlying evaluation of classifier combination methods. In thi...
179
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Communication with XML often involves pre-agreed document types. In this paper, we propose an offline parser generation approach to enhance online processing performance for docum...
178
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
163
click to vote
ALT
2004
Springer
16 years 3 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...