16218 search results - page 385 / 3244 » Standards |
283
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
177
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
148
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
160
click to vote
ICIAP
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. Combining different algorithms submitted to the Third International Fingerprint Verification Competition (FVC2004) is studied. For this work, the matching results of more...
161
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...