Sciweavers

323 search results - page 40 / 65
» Experiences from teaching functional programming at Chalmers
Sort
View
PLDI
1997
ACM
15 years 4 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
93
Voted
COMPIMAGE
2010
Springer
15 years 5 months ago
Direction-Dependency of a Binary Tomographic Reconstruction Algorithm
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...
László Varga, Péter Bal&aacut...
62
Voted
IADIS
2003
15 years 1 months ago
Improving Internet Research Methods: A Web Laboratory
We describe the current state of a resource that enables research in the human sciences with differential access rights for experimenters and participants in experiments. We outli...
Maria Buckley, Carl Vogel
82
Voted
MP
2007
89views more  MP 2007»
15 years 21 hour ago
Globally convergent limited memory bundle method for large-scale nonsmooth optimization
Many practical optimization problems involve nonsmooth (that is, not necessarily differentiable) functions of thousands of variables. In the paper [Haarala, Miettinen, M¨akel¨a,...
Napsu Haarala, Kaisa Miettinen, Marko M. Mäke...
123
Voted
TDSC
2010
172views more  TDSC 2010»
14 years 7 months ago
Proactive Detection of Computer Worms Using Model Checking
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
Johannes Kinder, Stefan Katzenbeisser, Christian S...