1679 search results - page 152 / 336 » Pointcuts as Functional Queries |
143
Voted
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
127
click to vote
P2P
2005
IEEE
15 years 10 months ago
2005
IEEE
Peer-to-peer file-sharing systems have hundreds of thousands of users sharing petabytes of data, however, their search functionality is limited. In general, query results contain...
137
click to vote
UIST
2005
ACM
15 years 10 months ago
2005
ACM
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...
151
click to vote
CIMCA
2008
IEEE
15 years 7 months ago
2008
IEEE
XML has emerged as a common standard for data exchange over the World Wide Web. One way to manage XML data is to use the power of relational databases for storing and q...
244
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
We consider the problem of efficiently computing weighted proximity best-joins over multiple lists, with applications in information retrieval and extraction. We are given a multi-...