5355 search results - page 384 / 1071 » Modules |
207
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
We have developed a location-based search system for web documents on the Internet. This system can find web documents based on the distance between locations that are described i...
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Many sites on the web offer collaborative databases that catalog items such as bands, events, products, or software modules. Conversation pivots allow readers to navigate from pag...
129
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents a project to improve the public transportation in the city of Huajuapan de Le?n, Oaxaca, M?xico. Interactive Multimedia Stations (EMI, for its Spanish acronym)...
215
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
225
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...