59 search results - page 1 / 12 » Integrating Searching and Authoring in Mizar |
MKM
2004
Springer
13 years 10 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ļ...
JAR
2007
13 years 4 months ago
2007
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
CAISE
2010
Springer
12 years 12 months ago
2010
Springer
The paper is devoted to finding a view on business processes that helps to introduce into business process support systems a notion of shared spaces widely used in social software....
SEMWEB
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The focus of web search is moving away from returning relevant documents towards returning structured data as results to user queries. A vital part in the architecture of...
CORR
2011
Springer
12 years 12 months ago
2011
Springer
The paper proposes three different kinds of science models as value-added services that are integrated in the retrieval process to enhance retrieval quality. The paper discusses t...