1743 search results - page 152 / 349 » Generalized Modal Satisfiability |
104
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
We introduce a family of kernels on discrete data structures within the general class of decomposition kernels. A weighted decomposition kernel (WDK) is computed by dividing objec...
197
Voted
ICDT
2009
ACM
16 years 4 months ago
2009
ACM
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...
143
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
134
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
123
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
The effectiveness of adaptive user interfaces highly depends on the how accurately adaptation satisfies the needs of users. This paper presents an empirical study that examined tw...