8512 search results - page 10 / 1703 » Computing Theory With Relevance |
JAIR
2012
11 years 10 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
EUROCAST
1997
Springer
14 years 3 days ago
1997
Springer
We show how to use recursive function theory to prove Turing universality of finite analog recurrent neural nets, with a piecewise linear sigmoid function as activation function. W...
Lecture Notes
Game Theory
COGSCI
2010
13 years 8 months ago
2010
With human language, the same utterance can have different meanings in different contexts. Nevertheless, listeners almost invariably converge upon the correct intended meaning. Th...
EXPERT
2006
13 years 8 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...