2018 search results - page 241 / 404 » Code Normal Forms |
112
Voted
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes new local photometric descriptors based on dissociated dipoles for transformed images or rigid objects retrieval. Dissociated dipoles are non local different...
134
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Collections play an important part in everyday life. Therefore, conceptual data models should support collection types to make data modeling as natural as possible for it...
138
click to vote
IFSA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
123
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
102
click to vote
SAT
2007
Springer
15 years 8 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...