70 search results - page 13 / 14 » cats 2007 |
CSL
2007
Springer
13 years 11 months ago
2007
Springer
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...
FLAIRS
2007
13 years 7 months ago
2007
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...
IFIP12
2004
13 years 6 months ago
2004
: 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...
IJCAI
2001
13 years 6 months ago
2001
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...
NIPS
2003
13 years 6 months ago
2003
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...