4290 search results - page 333 / 858 » Formal Approaches to Teamwork |
232
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
The intent-oriented search diversification methods developed in the field so far tend to build on generative views of the retrieval system to be diversified. Core algorithm compon...
228
click to vote
TKDE
2012
13 years 9 months ago
2012
—In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers. In the case where the user has l...
164
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
The classical zero-one law for first-order logic on random graphs says that for every first-order property in the theory of graphs and every p (0, 1), the probability that the r...
304
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
178
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...