5510 search results - page 187 / 1102 » Mathematics |
262
Voted
SCP
2011
14 years 11 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
224
click to vote
NFM
2011
14 years 10 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
257
click to vote
Book
"LATEX is a typesetting system that is very suitable for producing scientific
and mathematical documents of high typographical quality. It is also
suitable for producing all...
136
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. This paper presents a theory that encompasses both "plenoptic" (microlens based) and "heterodyning" (mask based) cameras in a single frequency-domain ...
252
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...