14 search results - page 2 / 3 » An XHTML 2.0 Implementation |
ML
2008
ACM
13 years 5 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
SIGCSE
2006
ACM
13 years 11 months ago
2006
ACM
This paper proposes an accessibility first pedogogy for web design, in which the course is organized around the requirement of implementing web pages accessible to visually impai...
ICTAI
2003
IEEE
13 years 10 months ago
2003
IEEE
The paper proposes a Distributed Open Semantic Elaboration platform based on a modular multilingual enabled architecture, which includes ontology, annotations, lexical entities an...
DBPL
2007
Springer
13 years 11 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
ISCAS
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract- Analog iterative decoders offer several advantages over their digital counterparts in terms of speed and power -A- log-MAP consumption. The current state of art CMOS anal...