312 search results - page 52 / 63 » Implementing KM in an Information Technology Environment: a ... |
MKM
2004
Springer
14 years 1 months 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ļ...
CASCON
1996
13 years 9 months ago
1996
We introduce a seamless messaging system for the management of personal messages. The aim of it is to intercept, filter, interpret, and deliver multi-modal messages (voice, fax, a...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Accurate cardinality estimation is critically important to high-quality query optimization. It is well known that conventional cardinality estimation based on histograms or simila...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...