1015 search results - page 111 / 203 » On Information Regularization |
MKM
2004
Springer
15 years 5 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ļ...
ERCIMDL
2005
Springer
15 years 5 months ago
2005
Springer
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userā...
APAL
2006
14 years 12 months ago
2006
This paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second prefra...
130
click to vote
LATIN
2010
Springer
15 years 6 months ago
2010
Springer
Binary relations are an important abstraction arising in a number of data representation problems. Each existing data structure specializes in the few basic operations required by ...
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organizationās objectives, which should be well defined. Clearly, different types of websites will ...