2432 search results - page 82 / 487 » Cryptographic logical relations |
117
click to vote
FUIN
2008
15 years 18 days ago
2008
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
102
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe an algorithm for constructing a set of acyclic conjunctive relational features by combining smaller conjunctive blocks. Unlike traditional level-wise approaches which ...
107
Voted
SKG
2006
IEEE
15 years 6 months ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...
99
Voted
ACMSE
2005
ACM
15 years 6 months ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
101
Voted
ILP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...