627 search results - page 22 / 126 » Browsing and Searching E-encyclopaedias |
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ļ...
SIGIR
2008
ACM
13 years 8 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...
WISE
2007
Springer
14 years 2 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
14 years 22 days 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...
SEMWEB
2007
Springer
14 years 2 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...