2214 search results - page 166 / 443 » Complexity of Reasoning |
125
click to vote
ACNS
2010
Springer
15 years 6 months ago
2010
Springer
Assume that a client outsources his database to a remote storage-provider (the server), so that for privacy reasons, the client's database is encrypted by his secret key. Duri...
123
click to vote
ACL
1998
15 years 4 months ago
1998
This paper demonstrates that generating arguments in natural language requires at an abstract level, and that the ate abstraction cannot be captured by approaches based solely upo...
125
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
110
Voted
FSS
2008
15 years 3 months ago
2008
In this paper we propose computationally simple, pointwise formulas for extended t-norms and t-conorms on fuzzy truth values. The complex convolutions of the extended operations a...
122
Voted
DKE
2006
15 years 3 months ago
2006
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...