2701 search results - page 156 / 541 » On the form of witness terms |
174
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
By exploiting the theories of automata and graphs, we propose algorithms and a process for editing valid XML documents [4][5]. The editing process avoids syntactic violations alto...
141
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
The integration of printed paper and digital information enables new forms of enhanced reading. We present digitally augmented paper as a specific application of our more general...
188
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
We propose a Bayesian extension to the ad-hoc Language Model. Many smoothed estimators used for the multinomial query model in ad-hoc Language Models (including Laplace and Bayes-...
120
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The equal width wave (EW) equation is a model partial differential equation for the simulation of one-dimensional wave propagation in nonlinear media with dispersion proc...
211
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...