57 search results - page 12 / 12 » Initial Algebra Semantics Is Enough! |
WWW
2010
ACM
13 years 9 months ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...
ENTCS
2008
13 years 5 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...