Sciweavers

4854 search results - page 280 / 971
» It's the Programming, Stupid
Sort
View
DAGSTUHL
2006
15 years 8 months ago
GNU TeXmacs
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...
Joris van der Hoeven
DAGSTUHL
2006
15 years 8 months ago
Bounds on the Fourier Coefficients of the Weighted Sum Function
We estimate Fourier coefficients of a Boolean function which has recently been introduced in the study of read-once branching programs. Our bound implies that this function has an...
Igor Shparlinski

Publication
591views
15 years 8 months ago
DFC, Microsoft developers, .NET and DFC PIA
This is a very nice article that explains the Documentum Foundation Class and how it relates to .NET programming. I developed a lot of applications using .NET that work with Docume...
Craig’s Musings
IPL
2007
71views more  IPL 2007»
15 years 7 months ago
A short proof of optimality for the MIN cache replacement algorithm
The MIN algorithm is an offline strategy for deciding which item to replace when writing a new item to a cache. Its optimality was first established by Mattson, Gecsei, Slutz, a...
Benjamin Van Roy
ICLP
2011
Springer
14 years 10 months ago
Implementation of Axiomatic Language
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
Walter W. Wilson