4743 search results - page 387 / 949 » The PlusCal Algorithm Language |
152
click to vote
ASPLOS
2010
ACM
15 years 3 months ago
2010
ACM
Semantic indexing is a popular technique used to access and organize large amounts of unstructured text data. We describe an optimized implementation of semantic indexing and docu...
164
click to vote
AAAI
2011
14 years 4 months ago
2011
Externalities are recognized to exist in the sponsored search market, where two co-located ads compete for user attention. Existing work focuses on the effect of another ad on th...
183
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
250
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...
143
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...