2062 search results - page 166 / 413 » Derivatives of Logical Formulas |
253
click to vote
ENTCS
2002
15 years 4 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
123
click to vote
FMLDO
1999
Springer
15 years 8 months ago
1999
Springer
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
128
click to vote
JIIS
2008
15 years 4 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
141
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes an optimisation to the UK-means algorithm, which generalises the k-means algorithm to handle objects whose locations are uncertain. The location of each object...
138
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed MIMO technology is an effective way of dealing with the inter-cell interference problem in single frequency wireless communication networks. This paper studies the gene...