Sciweavers

4719 search results - page 451 / 944
» Spreadsheet functional programming
Sort
View
FOCM
2007
94views more  FOCM 2007»
15 years 6 months ago
Trust-Region Methods on Riemannian Manifolds
A general scheme for trust-region methods on Riemannian manifolds is proposed and analyzed. Among the various approaches available to (approximately) solve the trust-region subpro...
Pierre-Antoine Absil, C. G. Baker, Kyle A. Galliva...
SIGCSE
2008
ACM
134views Education» more  SIGCSE 2008»
15 years 6 months ago
Language design and implementation using ruby and the interpreter pattern
In this paper, the S-expression Interpreter Framework (SIF) is presented as a tool for teaching language design and implementation. The SIF is based on the interpreter design patt...
Ariel Ortiz
SIGPLAN
2008
15 years 6 months ago
Verified enforcement of stateful information release policies
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
Nikhil Swamy, Michael Hicks
DPD
2002
163views more  DPD 2002»
15 years 6 months ago
Evolutionary Techniques for Web Caching
Web caching has been proposed as an effective solution to the problems of network traffic and congestion, Web objects access and Web load balancing. This paper presents a model for...
Athena Vakali
JFP
2002
100views more  JFP 2002»
15 years 6 months ago
A typed representation for HTML and XML documents in Haskell
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
Peter Thiemann