Sciweavers

1015 search results - page 111 / 203
» On Information Regularization
Sort
View
MKM
2004
Springer
15 years 5 months ago
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For eļ...
Grzegorz Bancerek, Josef Urban
ERCIMDL
2005
Springer
109views Education» more  ERCIMDL 2005»
15 years 5 months ago
MedioVis - A User-Centred Library Metadata Browser
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ā...
Christian Grün, Jens Gerken, Hans-Christian J...
APAL
2006
73views more  APAL 2006»
14 years 12 months ago
On the parallel between the suplattice and preframe approaches to locale theory
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...
Christopher F. Townsend
LATIN
2010
Springer
15 years 6 months ago
Compact Rich-Functional Binary Relation Representations
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 ...
Jérémy Barbay, Francisco Claude, Gon...
HICSS
2006
IEEE
73views Biometrics» more  HICSS 2006»
15 years 6 months ago
Determining Success for Different Website Goals
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 ...
L. Christian Schaupp, Weiguo Fan, France Belanger