1567 search results - page 121 / 314 » A Mechanized Model of the Theory of Objects |
121
click to vote
NIPS
1997
15 years 3 months ago
1997
In macaque inferotemporal cortex (IT), neurons have been found to respond selectively to complex shapes while showing broad tuning (“invariance”) with respect to stimulus tran...
MM
2005
ACM
15 years 7 months ago
2005
ACM
The current model of time in multimedia frameworks poses particular problems when designing multimedia systems with timebased interaction. We propose to expand and extend an exist...
106
click to vote
ICEIS
2000
IEEE
15 years 6 months ago
2000
IEEE
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
112
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
A central issue in relational learning is the choice of an appropriate bias for limiting first-order induction. The purpose of this study is to circumvent this issue within a unifo...
103
click to vote
PPDP
2010
Springer
15 years 2 days ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...