4963 search results - page 742 / 993 » Implementing a Categorical Information System |
176
click to vote
MKM
2004
Springer
16 years 22 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
201
click to vote
COOPIS
2003
IEEE
16 years 20 days ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an eļ¬cient ...
192
click to vote
DISCEX
2003
IEEE
16 years 20 days ago
2003
IEEE
The design principle of restricting local autonomy only where necessary for global robustness has led to a scalable Internet. Unfortunately, this scalability and capacity for dist...
215
click to vote
IAW
2003
IEEE
16 years 20 days ago
2003
IEEE
ā Intrusion detection and countermeasures response is an active area of research. In this paper, we examine integrating an intrusion detection engine with an active countermeasur...
216
click to vote
DOLAP
2003
ACM
16 years 19 days ago
2003
ACM
Multidimensional aggregation queries constitute the single most important class of queries for data warehousing applications and decision support systems. The bottleneck in the ev...