9049 search results - page 242 / 1810 » The New C Standard |
159
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
The XQuery formalization is an ongoing effort of the W3C XML Query working group to define a precise formal semantics for XQuery. This paper briefly introduces the current state o...
148
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
162
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...
147
click to vote
MOR
2000
15 years 6 months ago
2000
We show that an interior-pointmethodfor monotonevariationalinequalitiesexhibits superlinear convergence provided that all the standard assumptions hold except for the well-known as...
157
click to vote
ORL
2007
15 years 6 months ago
2007
The use of floating-point calculations limits the accuracy of solutions obtained by standard LP software. We present a simplex-based algorithm that returns exact rational solutio...