154 search results - page 15 / 31 » Web Interfaces for Proof Assistants |
WWW
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we describe the fully dynamic semantic portal we implemented, integrating Semantic Web technologies and Service Oriented Architecture (SOA). The goals of the portal...
CHI
1994
ACM
13 years 11 months ago
1994
ACM
A user interface software tool helps developers design and implement the user interface. Research on past tools has had enormous impact on today's developers--virtually all a...
MHCI
2009
Springer
14 years 1 months ago
2009
Springer
As users enter web queries, real-time query expansion (RTQE) interfaces offer suggestions based on an index garnered from query logs. In selecting a suggestion, users can potentia...
VLDB
2001
ACM
13 years 12 months ago
2001
ACM
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
SEMWEB
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...