154 search results - page 15 / 31 » Web Interfaces for Proof Assistants |
WWW
2009
ACM
15 years 10 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
15 years 1 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...
68
Voted
MHCI
2009
Springer
15 years 4 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
15 years 1 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
15 years 2 months 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 ...