627 search results - page 22 / 126 » Browsing and Searching E-encyclopaedias |
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ļ...
72
Voted
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
Traditional information retrieval models assume that users express their information needs via text queries (i.e., their "talk"). In this poster, we consider Web browsin...
106
click to vote
WISE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
HICSS
1998
IEEE
15 years 4 months ago
1998
IEEE
Compared with traditional business operations, wwwbased commerce has many advantages, such as timeliness, worldwide communication, hyper-links, and multimedia. However, lack of cu...
61
Voted
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Searching for information on the Internet became much easier when Google started delivering their service. We got used to getting the most important (probably) results on...