FM
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
IAT
2009
IEEE
14 years 4 months ago
2009
IEEE
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
VL
1998
IEEE
14 years 5 months ago
1998
IEEE
This paper presents VIQING, an environment for expressing queries via direct manipulation of data visualizations. VIQING provides a simple graphical interface for connecting visua...