2145 search results - page 62 / 429 » Lax Logical Relations |
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
TIME
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper describes an annotation guideline for a temporal relation-tagged corpus of Chinese. Our goal is construction of corpora to be used for a corpus-based analysis of tempor...
ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
WCRE
1995
IEEE
14 years 1 months ago
1995
IEEE
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...
FUIN
2008
13 years 10 months 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...