1572 search results - page 246 / 315 » An Approach to Support the Web User Interfaces Evolution |
WWW
2009
ACM
14 years 11 months ago
2009
ACM
We tackle the problem of disambiguating entities on the Web. We propose a user-driven scheme where graphs of entities ? represented by globally identifiable declarative artifacts ...
WWW
2006
ACM
14 years 11 months ago
2006
ACM
In this poster we present an approach to query answering over knowledge sources that makes use of different ontology management components within an application scenario of the BT...
TACAS
2000
Springer
14 years 2 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...
HT
2005
ACM
14 years 4 months ago
2005
ACM
When reflecting on information, spatial hypermedia users express their understanding of the information’s structure visually. In order to facilitate this process, spatial hyperm...
ICAIL
2009
ACM
14 years 5 months ago
2009
ACM
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...