Sciweavers

1638 search results - page 279 / 328
» A General Semantics for Evaluation Logic
Sort
View
WWW
2006
ACM
16 years 4 days ago
Generating summaries for large collections of geo-referenced photographs
We describe a framework for automatically selecting a summary set of photographs from a large collection of geo-referenced photos. The summary algorithm is based on spatial patter...
Alexander Jaffe, Mor Naaman, Tamir Tassa, Marc Dav...
WWW
2006
ACM
16 years 4 days ago
On a service-oriented approach for an engineering knowledge desktop
Increasingly, manufacturing companies are shifting their focus from selling products to providing services. As a result, when designing new products, engineers must increasingly c...
Sylvia C. Wong, Richard M. Crowder, Gary B. Wills
PLDI
2009
ACM
16 years 3 days ago
Chameleon: adaptive selection of collections
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
Ohad Shacham, Martin T. Vechev, Eran Yahav
POPL
2009
ACM
16 years 3 days ago
Wild control operators
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
Chris Barker
POPL
2009
ACM
16 years 3 days ago
Semi-sparse flow-sensitive pointer analysis
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
Ben Hardekopf, Calvin Lin