Sciweavers

3374 search results - page 213 / 675
» Explaining Similarity of Terms
Sort
View
VISUALIZATION
2003
IEEE
15 years 9 months ago
Mental Registration of 2D and 3D Visualizations (An Empirical Study)
2D and 3D views are used together in many visualization domains, such as medical imaging, flow visualization, oceanographic visualization, and computer aided design (CAD).Combinin...
Melanie Tory
132
Voted
SIGDOC
2003
ACM
15 years 9 months ago
An interaction initiative model for documentation
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...
David G. Novick, Karen Ward
SACMAT
2010
ACM
15 years 9 months ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
ESWS
2010
Springer
15 years 9 months ago
Aligning Large SKOS-Like Vocabularies: Two Case Studies
In this paper we build on our methodology for combining and selecting alignment techniques for vocabularies, with two alignment case studies of large vocabularies in two languages....
Anna Tordai, Jacco van Ossenbruggen, Guus Schreibe...
126
Voted
KR
2010
Springer
15 years 9 months ago
Towards a Logic of Feature-Based Semantic Science Theories
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
David Poole