3255 search results - page 275 / 651 » Combination of Abstractions in the ASTR |
181
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
"Generics for the Masses" (GM) and "Scrap your Boilerplate" (SYB) are generic programming approaches based on some ingenious applications of Haskell type class...
207
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
193
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
Abstract-Maintaining optimal consistency in a distributed system requires that nodes be always-on to synchronize information. Unfortunately, mobile devices such as laptops do not h...
172
click to vote
EWSN
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We examine the problem of tracking dynamic boundaries occurring in natural phenomena using range sensors. Two main challenges of the boundary tracking problem are energy-...
182
click to vote
Publication
Finding My Needle in the Haystack: Effective Personalized Re-ranking of Search Results in Prospector
16 years 4 months ago
Abstract. This paper provides an overview of Prospector, a personalized Internet meta-search engine, which utilizes a combination of ontological information, ratings-based models o...