Sciweavers

SYNTHESE
2010
95views more  SYNTHESE 2010»
13 years 9 months ago
Ranking judgments in Arrow's setting
In this paper, I investigate the relationship between preference and judgment aggregation, using the notion of ranking judgment introduced in List and Pettit (Synthese 140(1–2):2...
Daniele Porello
UMUAI
2008
192views more  UMUAI 2008»
13 years 11 months ago
Automatic detection of learner's affect from conversational cues
We explored the reliability of detecting a learner's affect from conversational features extracted from interactions with AutoTutor, an intelligent tutoring system that helps...
Sidney K. D'Mello, Scotty D. Craig, Amy M. Withers...
SIGIR
2008
ACM
13 years 11 months ago
Evaluation over thousands of queries
Information retrieval evaluation has typically been performed over several dozen queries, each judged to near-completeness. There has been a great deal of recent work on evaluatio...
Ben Carterette, Virgiliu Pavlu, Evangelos Kanoulas...
JIIS
2008
104views more  JIIS 2008»
13 years 11 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
CORR
2010
Springer
99views Education» more  CORR 2010»
13 years 11 months ago
Pure Type Systems without Explicit Contexts
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
Herman Geuvers, Robbert Krebbers, James McKinna, F...
APGV
2006
ACM
131views Visualization» more  APGV 2006»
14 years 2 months ago
Minification influences spatial judgments in virtual environments
Distances in immersive virtual environments (VEs) have been commonly reported as being spatially compressed while the same judgments are performed accurately in real space. Previo...
Scott A. Kuhl, William B. Thompson, Sarah H. Creem...
CIKM
2007
Springer
14 years 3 months ago
Hypothesis testing with incomplete relevance judgments
Information retrieval experimentation generally proceeds in a cycle of development, evaluation, and hypothesis testing. Ideally, the evaluation and testing phases should be short ...
Ben Carterette, Mark D. Smucker
ECSQARU
2001
Springer
14 years 3 months ago
Polymorphism of Human Judgment under Uncertainty
The aim of this paper is to test if conjunctive and disjunctive judgments are differently accounted for possibility and probability theories depending on whether (1) judgments are ...
Rui Da Silva Neves, Eric Raufaste
ICAIL
2009
ACM
14 years 5 months ago
Human-aided computer cognition for e-discovery
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
Christopher Hogan, Robert Bauer, Dan Brassil