289 search results - page 22 / 58 » A Tour with Constructive Real Numbers |
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
DEXAW
1998
IEEE
14 years 1 months ago
1998
IEEE
Research in natural language generation promises significant advances in the ways in which we can make available the contents of underlying information sources. Most work in the f...
EKAW
1994
Springer
14 years 27 days ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
CIE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to app...
IJCAI
2007
13 years 10 months ago
2007
Nonparametric Bayesian mixture models, in particular Dirichlet process (DP) mixture models, have shown great promise for density estimation and data clustering. Given the size of ...