Sciweavers

6829 search results - page 288 / 1366
» Quantitative Generalizations of Languages
Sort
View
PPDP
2010
Springer
15 years 5 months ago
Graph queries through datalog optimizations
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. L...
POPL
2009
ACM
16 years 7 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
WWW
2007
ACM
16 years 7 months ago
Utility analysis for topically biased PageRank
PageRank is known to be an efficient metric for computing general document importance in the Web. While commonly used as a one-size-fits-all measure, the ability to produce topica...
Christian Kohlschütter, Paul-Alexandru Chirit...
POPL
2009
ACM
16 years 7 months 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
SIGMOD
2009
ACM
117views Database» more  SIGMOD 2009»
16 years 6 months ago
FERRY: database-supported program execution
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
Torsten Grust, Manuel Mayr, Jan Rittinger, Tom Sch...