Sciweavers

2642 search results - page 1 / 529
» The development of Chez Scheme
Sort
View
ICFP
2006
ACM
14 years 7 months ago
The development of Chez Scheme
Chez Scheme is now over 20 years old, the first version having been released in 1985. This paper takes a brief look back on the history of Chez Scheme's development to explor...
R. Kent Dybvig
RANLP
2003
13 years 8 months ago
HPSG-based annotation scheme for corpora development and parsing evaluation
This paper proposes a formal framework for development and exploitation of a corpus, based on the HPSG linguistic theory. The formal representation of the annotation scheme facili...
Kiril Ivanov Simov
PLILP
1997
Springer
13 years 11 months ago
DrScheme: A Pedagogic Programming Environment for Scheme
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
Robert Bruce Findler, Cormac Flanagan, Matthew Fla...
IACR
2011
207views more  IACR 2011»
12 years 7 months ago
Cryptanalysis and Security Enhancement of an Advanced Authentication Scheme using Smart Cards, and a Key Agreement Scheme for Tw
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...
Swapnoneel Roy, Amlan K. Das, Yu Li
JSCIC
2010
142views more  JSCIC 2010»
13 years 2 months ago
Recent Developments in the Pure Streamfunction Formulation of the Navier-Stokes System
In this paper we review fourth-order approximations of the biharmonic operator in one, two and three dimensions. In addition, we describe recent developments on second and fourth o...
Dalia Fishelov, Matania Ben-Artzi, Jean-Pierre Cro...