A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
Starting from the assumptions that human-ambient intelligence interaction will be improved by having more human-human like communications and that facial expressions are fundament...
Marco Paleari, Amandine Grizard, Christine L. Lise...
: The experience from years of development and use, the advance of technology, and the development of authoring tools for questions and tests has resulted in a sophisticated, compu...
Antonella Carbonaro, Giorgio Casadei, Simone Riccu...
Combinatorial auctions where bidders can bid on bundles of items can lead to more economical allocations, but determining the winners is NP-complete and inapproximable. We present...
Tuomas Sandholm, Subhash Suri, Andrew Gilpin, Davi...
According to the current standard model, neurons in lateral geniculate nucleus (LGN) operate linearly. There is, however, ample evidence that LGN responses are nonlinear. To accou...