391 search results - page 46 / 79 » Formal Universes |
107
Voted
ECAI
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
116
Voted
TE
2010
14 years 7 months ago
2010
The Electrical Engineering Summer Academy for Pre-College Students was held at the University of Tulsa from June 11th through June 15th , 2007. Of the 20 students accepted, 19 par...
85
Voted
TCS
2002
15 years 2 days ago
2002
Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an assoc...
120
click to vote
ACM
1995
15 years 4 months ago
1995
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...
115
click to vote
STOC
2010
ACM
15 years 9 months ago
2010
ACM
We close affirmatively a question which has been open for long time: decidability of the HOM problem. The HOM problem consists in determining, given a tree homomorphism D and a re...