4757 search results - page 159 / 952 » A Unique |
142
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
121
click to vote
ISMIS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Our unique approach for learning English grapheme segmentation (LE-GS) rules using the Iterated Version Space Algorithm (IVSA) is presented. After de ning the problem and...
137
click to vote
FSE
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we discuss PRNGs: the mechanisms used by real-world secure systems to generate cryptographic keys, initialization vectors, "random" nonces, and other values...
147
click to vote
JELIA
1998
Springer
15 years 8 months ago
1998
Springer
Generalization is a fundamental operation of inductive inference. While rst order syntactic generalization anti-uni cation is well understood, its various extensions are needed in...
139
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...