386 search results - page 10 / 78 » A Consistent Semantics of Self-adjusting Computation |
DLOG
2007
15 years 4 days ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...
ACL
2008
14 years 11 months ago
2008
In this paper we propose a domainindependent text segmentation method, which consists of three components. Latent Dirichlet allocation (LDA) is employed to compute words semantic ...
ADC
2003
Springer
15 years 3 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
151
click to vote
IJCV
2012
13 years 7 days ago
2012
The Hierarchical Conditional Random Field (HCRF) model have been successfully applied to a number of image labeling problems, including image segmentation. However, existing HCRF m...
IPL
2007
14 years 9 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...