2152 search results - page 401 / 431 » On Automating the Calculus of Relations |
110
click to vote
WWW
2001
ACM
16 years 1 months ago
2001
ACM
A wealth of information is available on the Web. But often, such data are hidden behind form interfaces which allow only a restrictive set of queries over the underlying databases...
142
click to vote
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
Recent work on the transfer of semantic information across languages has been recently applied to the development of resources annotated with Frame information for different non-En...
95
Voted
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Most of recommender systems try to find items that are most relevant to the older choices of a given user. Here we focus on the "surprise me" query: A user may be bored ...
96
Voted
KDD
2003
ACM
16 years 26 days ago
2003
ACM
Existing patient records are a valuable resource for automated outcomes analysis and knowledge discovery. However, key clinical data in these records is typically recorded in unst...
111
click to vote
CADE
2005
Springer
16 years 23 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...