59 search results - page 8 / 12 » Integrating Searching and Authoring in Mizar |
EKAW
2004
Springer
13 years 11 months ago
2004
Springer
The objective of the Semantic Web is to make the Web amenable to computer processing, and hence to improve the value that humans can obtain from it. One of the oft-touted user bene...
ICALT
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
CN
2000
13 years 7 months ago
2000
How to rank Web resources is critical to Web Resource Discovery (Search Engine). This paper not only points out the weakness of current approaches, but also presents in-depth anal...
WMASH
2003
ACM
14 years 22 days ago
2003
ACM
To be widely adopted, location-aware computing must be as effortless, familiar and rewarding as web search tools like Google. We envisage the global scale Place Lab, consisting of...
GECCO
2009
Springer
13 years 5 months ago
2009
Springer
Public data sharing is utilized in a number of businesses to facilitate the exchange of information. Privacy constraints are usually enforced to prevent unwanted inference of info...