840 search results - page 148 / 168 » An Interactive Approach to Route Search |
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ļ...
SOFSEM
2004
Springer
14 years 1 months ago
2004
Springer
Cooperation in information retrieval contexts can be used to share query results inside groups of individuals with common objectives, provided that all of them are aware of each ot...
INFOVIS
2003
IEEE
14 years 29 days ago
2003
IEEE
Dynamic queries facilitate rapid exploration of information by real-time visual display of both query formulation and results. Dynamic query sliders are linked to the main visuali...
ISSTA
1998
ACM
13 years 12 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly deļ¬ned, control and data dependencies can be used to identify semantic...
AGENTS
1997
Springer
13 years 12 months ago
1997
Springer
An adaptive recommendation service seeks to adapt to its users, providing increasingly personalized recommendations over time. In this paper we introduce the \Fab" adaptive W...