Sciweavers

6434 search results - page 1214 / 1287
» Model Transformations with Reference Models
Sort
View
GIS
2008
ACM
16 years 1 months ago
Low-cost orthographic imagery
Commercial aerial imagery websites, such as Google Maps, MapQuest, Microsoft Virtual Earth, and Yahoo! Maps, provide high- seamless orthographic imagery for many populated areas, ...
Peter Pesti, Jeremy Elson, Jon Howell, Drew Steedl...
WWW
2009
ACM
16 years 1 months ago
Community gravity: measuring bidirectional effects by trust and rating on online social networks
Several attempts have been made to analyze customer behavior on online E-commerce sites. Some studies particularly emphasize the social networks of customers. Users' reviews ...
Yutaka Matsuo, Hikaru Yamamoto
198
Voted
ICFP
2009
ACM
16 years 1 months ago
Parallel concurrent ML
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
John H. Reppy, Claudio V. Russo, Yingqi Xiao
217
Voted
POPL
2009
ACM
16 years 1 months ago
A cost semantics for self-adjusting computation
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
Ruy Ley-Wild, Umut A. Acar, Matthew Fluet
210
Voted
POPL
2009
ACM
16 years 1 months ago
State-dependent representation independence
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
Amal Ahmed, Derek Dreyer, Andreas Rossberg
« Prev « First page 1214 / 1287 Last » Next »