Sciweavers

5355 search results - page 384 / 1071
» Modules
Sort
View
207
Voted
WWW
2001
ACM
16 years 4 months ago
Kokono Search: A Location Based Search Engine
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...
Seiji Yokoji, Katsumi Takahashi, Nobuyuki Miura
CHI
2008
ACM
16 years 4 months ago
Conversation pivots and double pivots
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...
Daniel Xiaodan Zhou, Nathan Oostendorp, Michael He...
CHI
2007
ACM
16 years 4 months ago
EMI: a system to improve and promote the use of public transportation
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)...
Tonatzin Yutzin Baños, Emmanuel Aquino, Fer...
215
Voted
POPL
2004
ACM
16 years 4 months ago
A type system for well-founded recursion
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...
Derek Dreyer
POPL
2003
ACM
16 years 4 months ago
Ownership types for object encapsulation
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shri...