2302 search results - page 99 / 461 » Basic Description Logics |
125
Voted
BIRTHDAY
2012
Springer
13 years 8 months ago
2012
Springer
We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. ...
114
Voted
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
122
Voted
INLG
2010
Springer
14 years 11 months ago
2010
Springer
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...
88
Voted
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
This paper presents a new approach to the tracking of regions in an image sequence. Unlike most other methods, the proposed approach can handle topology changes, i.e., regions may...
103
click to vote
EUSFLAT
2007
15 years 2 months ago
2007
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...