1273 search results - page 1 / 255 » A Framework for Formalizing Set Theories Based on the Use of... |
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
IJAR
2006
13 years 4 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
BMCBI
2007
13 years 4 months ago
2007
Background: The search for enriched features has become widely used to characterize a set of genes or proteins. A key aspect of this technique is its ability to identify correlati...
RSCTC
2004
Springer
13 years 10 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
MKM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...