7785 search results - page 46 / 1557 » The Concept of Dynamic Analysis |
108
click to vote
ICMCS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this demonstration we showcase an interactive analysis tool for researchers working on concept-based video retrieval. By visualizing intermediate concept detection analysis sta...
107
click to vote
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
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...
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...
124
click to vote
DIM
2007
ACM
15 years 3 months ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
115
click to vote
ISER
2004
Springer
15 years 5 months ago
2004
Springer
We have been trying to induce a quadruped robot to walk with medium walking speed on irregular terrain based on biological concepts. We propose the essential conditions for stable ...