7988 search results - page 380 / 1598 » A Useful Undecidable Theory |
161
click to vote
IRMA
2000
15 years 8 months ago
2000
The genre theory has been earlier introduced as a means for analyzing organizational communication. The terms hard and soft information genre have been employed to refer to the ex...
191
click to vote
NIPS
2000
15 years 8 months ago
2000
We use graphical models to explore the question of how people learn simple causal relationships from data. The two leading psychological theories can both be seen as estimating th...
175
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
To respond to an utterance, a listener must interpret what others have said and why they have said it. Misunderstandings occur when agents differ in their beliefs about what has b...
167
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we investigate the possibilities offered by the extension of the connected component trees (cc-trees) to multivariate images. We propose a general framework for ima...
134
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...