3775 search results - page 453 / 755 » The Expression Problem Revisited |
180
Voted
JMLR
2006
15 years 6 months ago
2006
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
186
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
169
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
119
click to vote
IIE
2007
15 years 6 months ago
2007
The article aims at raising the problem of culture in the context of globalisation, at characterising influence of globalisation and globalisation culture on human values and rela...
199
click to vote
IJVR
2007
15 years 6 months ago
2007
—One of the biggest obstacles for constructing effective sociable virtual humans lies in the failure of machines to recognize the desires, feelings and intentions of the human us...