Abstract. Huge amounts of digital visual content are currently available, thus placing a demand for advanced multimedia search engines. The contribution of this paper is the presen...
Many C++ extractors exist that produce syntax trees, call graphs, and metrics from C++ code, yet few offer integrated querying, navigation, and visualization of sourcecode-level f...
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
The paper describes a visualization mechanism that permits fast extraction of high-resolution slices of interest from large biomedical datasets stored remotely. To provide the user...
D. P. Gavidia, Elena V. Zudilova, Peter M. A. Sloo...
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...