6944 search results - page 1181 / 1389 » Web service interfaces |
180
click to vote
ERCIMDL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Since 1994, the Alexandria Digital Library Project has developed three prototype digital libraries for georeferenced information. This paper describes the most recent of ...
177
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
287
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Data sources on the web are often accessible through web interfaces that present them as relational tables, but require certain attributes to be mandatorily selected, e.g., via a w...
167
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Information sharing can be effective with structured data. The Semantic Web is mainly aimed at structuring information by creating widely accepted ontologies. However, users have ...
168
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Real time search is an increasingly important area of information seeking on the Web. In this research, we analyze 1,005,296 user interactions with a real time search engine over ...