10819 search results - page 2032 / 2164 » Addition and multiplication of sets |
WWW
2005
ACM
14 years 11 months ago
2005
ACM
While overall bandwidth in the internet has grown rapidly over the last few years, and an increasing number of clients enjoy broadband connectivity, many others still access the i...
WWW
2004
ACM
14 years 11 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
ICFP
2009
ACM
14 years 11 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
PADL
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Raimund Dachselt University of Magdeburg Faculty of Computer Science User Interface & Software Engineering Group 39106 Magdeburg, Germany dachselt@acm.org Robert Buchholz Unive...