This thesis presented a framework of the possible combination of approaches for low-level program slicing-baseddependence analysis and high-level concept assignment. Three combina...
— In consideration of a previous study for developing a next-generation sensible information display set, this paper proposes a development model of a more realistic type that is...
Hyunchul Cho, Kihoon Lee, Jinsil Kim, Jihong Jung,...
In this demonstration we showcase an interactive analysis tool for researchers working on concept-based video retrieval. By visualizing intermediate concept detection analysis sta...
Cees G. M. Snoek, Richard van Balen, Dennis Koelma...
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book “Formal Concept Analysis” by Ganter and Wille, in the Isabelle/H...