Sciweavers

3563 search results - page 408 / 713
» Information theory in neuroscience
Sort
View
FLOPS
2008
Springer
15 years 8 months ago
Proving Properties about Lists Using Containers
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
Rawle Prince, Neil Ghani, Conor McBride
AAAI
2010
15 years 8 months ago
Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
Sébastien Lahaie
BCSHCI
2007
15 years 8 months ago
Ten emotion heuristics: guidelines for assessing the user's affective dimension easily and cost-effectively
Emotional appeal is a key dimension in user experience that often goes unmeasured in most user-centered design projects. This paper presents preliminary work for developing a set ...
Eva de Lera, Muriel Garreta Domingo
DAGSTUHL
2007
15 years 8 months ago
Choosing Your Beliefs
Abstract This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronte...
Guido Boella, Célia da Costa Pereira, Gabri...
LREC
2010
171views Education» more  LREC 2010»
15 years 8 months ago
AutoTagTCG : A Framework for Automatic Thai CG Tagging
Recently, categorical grammar has been focused as a powerful grammar. This paper aims to develop a framework for automatic CG tagging for Thai. We investigated two main algorithms...
Thepchai Supnithi, Taneth Ruangrajitpakorn, Kanoko...