1368 search results - page 94 / 274 » Personality-Based Practical Reasoning |
113
click to vote
DLOG
2008
15 years 5 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
131
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
105
click to vote
ECSCW
2001
15 years 4 months ago
2001
: "Text messaging" -- using a mobile phone to send a message -- has changed how teenagers use wireless phones to communicate and coordinate. While the media reports rapid...
135
click to vote
FGCS
1992
15 years 4 months ago
1992
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
102
click to vote
CSL
2006
Springer
15 years 3 months ago
2006
Springer
In this contribution, the Bayesian framework for interpretation of evidence when applied to forensic speaker recognition is introduced. Different aspects of the use of voice as ev...