1127 search results - page 100 / 226 » Theory Extension in ACL2(r) |
177
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
1 A kernel determines the inductive bias of a learning algorithm on a specific data set, and it is beneficial to design specific kernel for a given data set. In this work, we propo...
162
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
176
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
While many works have been devoted to service matchmaking and modeling nonfunctional properties, the problem of matching service requests to offers in an optimal way has not yet b...
147
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we propose design strategies for persuasive technologies that help people who want to change their everyday behaviors. Our strategies use theory and prior work to s...
162
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Probabilistic frequent itemset mining in uncertain transaction databases semantically and computationally differs from traditional techniques applied to standard "certain&quo...