2432 search results - page 116 / 487 » Cryptographic logical relations |
FUIN
2008
15 years 21 days ago
2008
The issue addressed in this paper concerns the discovery of frequent multi-dimensional patterns from relational sequences. The great variety of applications of sequential pattern m...
101
Voted
NIPS
2007
15 years 2 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...
199
Voted
ML
2011
ACM
14 years 7 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
ISPDC
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper describes ITW – a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, e...
RSCTC
2000
Springer
15 years 4 months ago
2000
Springer
The aim of the paper is to present basic notions related to granular computing, namely the information granule syntax and semantics as well as the inclusion and closeness (similari...