2023 search results - page 294 / 405 » Visualizing the Meaning of Texts |
128
click to vote
MKM
2004
Springer
15 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 definitions, which often use overloaded notation. For e...
111
click to vote
PRICAI
2004
Springer
15 years 10 months ago
2004
Springer
Search has arguably become the dominant paradigm for finding information on the World Wide Web. In order to build a successful search engine, there are a number of challenges that ...
113
click to vote
SPATIALCOGNITION
2004
Springer
15 years 10 months ago
2004
Springer
Diagrams are an effective means of conveying concrete, abstract or symbolic information about systems. Here, individuals or pairs of participants produced assembly instructions aft...
129
click to vote
RIDE
2003
IEEE
15 years 10 months ago
2003
IEEE
Global e-Commerce and mass-outreach e-Governance programs have brought into sharp focus the need for database systems to store and manipulate text data efficiently in a suite of ...
152
click to vote
ICDCS
2002
IEEE
2002
IEEE
An Extensible and Scalable Content Adaptation Pipeline Architecture to Support Heterogeneous Clients
15 years 9 months ago
The importance of middleware and content adaptation has previously been demonstrated for pervasive use of Web-based applications. In this paper we propose a modular, extensible, a...