Sciweavers

1461 search results - page 188 / 293
» Alterable Visual Languages
Sort
View
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
14 years 1 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...
CAV
2000
Springer
125views Hardware» more  CAV 2000»
14 years 19 days ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
ICSE
2010
IEEE-ACM
13 years 11 months ago
LM: a miner for scenario-based specifications
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with...
Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng K...
ICALT
2007
IEEE
13 years 10 months ago
A Collaborative Medical Case Authoring Environment Based on UMLS
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
Siriwan Suebnukarn, Phattanapon Rhienmora, Peter H...
ICONIP
2008
13 years 10 months ago
Neurocognitive Approach to Clustering of PubMed Query Results
Abstract. Internet literature queries return a long lists of citations, ordered according to their relevance or date. Query results may also be represented using Visual Language th...
Pawel Matykiewicz, Wlodzislaw Duch, Paul M. Zender...