4981 search results - page 697 / 997 » Dependent Gaussian Processes |
202
click to vote
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
249
click to vote
APN
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
175
click to vote
C3S2E
2008
ACM
15 years 9 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
203
click to vote
CICLING
2008
Springer
15 years 9 months ago
2008
Springer
We investigate the effect of encoding additional semantic and syntactic information sources in a classification-based machine learning approach to the task of coreference resolutio...
192
click to vote
CICLING
2008
Springer
15 years 9 months ago
2008
Springer
Language software applications encounter new words, e.g., acronyms, technical terminology, loan words, names or compounds of such words. Looking at English, one might assume that t...