11436 search results - page 104 / 2288 » Modeling Real Reasoning |
128
Voted
MTA
2006
15 years 23 days ago
2006
Increasingly popular commercial streaming media applications over the Internet often use UDP as the underlying transmission protocol for performance reasons. Hand-in-hand with the ...
96
Voted
ICFP
2007
ACM
16 years 24 days ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
92
Voted
AAAI
2007
15 years 3 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
109
Voted
FLAIRS
2007
15 years 3 months ago
2007
Reasoning with hypothetical cases helps decision-makers evaluate alternate hypotheses for deciding a case. The hypotheticals demonstrate the sensitivity of a hypothesis to apparen...
97
Voted
IJCAI
2001
15 years 2 months ago
2001
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...