Sciweavers

5343 search results - page 818 / 1069
» Keyword programming in java
Sort
View
SAC
2006
ACM
16 years 18 days ago
Provably faithful evaluation of polynomials
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
Sylvie Boldo, César Muñoz
SIGCSE
2006
ACM
119views Education» more  SIGCSE 2006»
16 years 18 days ago
Practice what you preach: full separation of concerns in CS1/CS2
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
Hamzeh Roumani
WIKIS
2006
ACM
16 years 17 days ago
The radeox Wiki render engine
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
Matthias L. Jugel, Stephan J. Schmidt
XIMEP
2006
ACM
179views Database» more  XIMEP 2006»
16 years 17 days ago
Positional Grouping in XQuery
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
Michael H. Kay
ISIPTA
2005
IEEE
146views Mathematics» more  ISIPTA 2005»
16 years 6 days ago
Arithmetic on Random Variables: Squeezing the Envelopes with New Joint Distribution Constraints
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
Jianzhong Zhang 0004, Daniel Berleant