8021 search results - page 90 / 1605 » A Type System for Tom |
FLOPS
1999
Springer
14 years 3 days ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
DEBU
2010
13 years 8 months ago
2010
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
LEGE
2004
13 years 9 months ago
2004
In this paper we discuss the TestTool system as an established testing system model, the one that is being used in real educational settings and supports self-assessment as well as...
FPT
2005
IEEE
14 years 1 months ago
2005
IEEE
Although biological visual systems have been widely studied at the physiological, psychophysical and functional levels, our understanding of its signal processing mechanisms is st...
IMA
2001
Springer
14 years 8 days ago
2001
Springer
Abstract. This paper specializes the signature forgery by Coron, Naccache and Stern (1999) to Rabin-type systems. We present a variation in which the adversary may derive the priva...