11397 search results - page 159 / 2280 » A Relational Abstraction for Functions |
154
click to vote
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
164
click to vote
JCDL
2006
ACM
16 years 29 days ago
2006
ACM
The Perseus Project at Tufts University produces tools to enhance the study of humanities texts. Perseus’ new named-entity browser lets users browse an index of references to pe...
168
Voted
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
Traditional searching and browsing functions for bibliographic databases do no longer enable users to deal efficiently with the rapidly growing number of scientific publications....
152
click to vote
ITP
2010
15 years 11 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
187
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
This paper proposes a ranking method to exploit statistical correlations among pairs of attribute values in relational databases. For a given query, the correlations of the query ...