1737 search results - page 80 / 348 » On Interpolation in Existence Logics |
200
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
157
click to vote
SOSP
1993
ACM
15 years 7 months ago
1993
ACM
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...
169
click to vote
MSCS
2008
15 years 6 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
165
click to vote
AIEDU
2005
15 years 6 months ago
2005
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...
180
click to vote
DLOG
2010
15 years 4 months ago
2010
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...