9719 search results - page 424 / 1944 » Inference for Multiplicative Models |
130
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
137
click to vote
HCI
2007
15 years 6 months ago
2007
This paper describes an e-learning interface with multiple tutoring character agents. The character agents use eye movement information to facilitate empathy-relevant reasoning and...
121
click to vote
DLOG
2006
15 years 6 months ago
2006
In our case study we investigate a server for answering OWLQL queries with distinguished variables only (henceforth called OWLQL). This server acts as a proxy that delegates queri...
148
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
138
click to vote
AUSAI
2010
Springer
15 years 3 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...