Sciweavers

8582 search results - page 146 / 1717
» Here or There
Sort
View
ICANN
2001
Springer
15 years 11 months ago
Fast Curvature Matrix-Vector Products
The method of conjugate gradients provides a very effective way to optimize large, deterministic systems by gradient descent. In its standard form, however, it is not amenable to ...
Nicol N. Schraudolph
IFL
2001
Springer
15 years 11 months ago
A Polynomial-Cost Non-determinism Analysis
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...
Ricardo Pena, Clara Segura
PROFES
2001
Springer
15 years 11 months ago
Augmenting Experience Reports with Lightweight Postmortem Reviews
Many small and medium-sized companies that develop software experience the same problems repeatedly, and have few systems in place to learn from their own mistakes as well as their...
Torgeir Dingsøyr, Nils Brede Moe, Øy...
PROFES
2001
Springer
15 years 11 months ago
Evaluation of the E3 Process Modelling Language and Tool for the Purpose of Model Creation
In this paper, we report from an experiment which compared the E3 PML with respect to the standard modelling language IDEF0 for the purpose of model construction. The experiment ha...
Maria Letizia Jaccheri, Tor Stålhane
TACAS
2001
Springer
160views Algorithms» more  TACAS 2001»
15 years 11 months ago
Hardware/Software Co-Design Using Functional Languages
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
Alan Mycroft, Richard Sharp