Sciweavers

275 search results - page 9 / 55
» Reengineering Class Hierarchies Using Concept Analysis
Sort
View
FMSD
2007
138views more  FMSD 2007»
13 years 10 months ago
Object oriented concepts identification from formal B specifications
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
Akram Idani, Yves Ledru
ISM
2008
IEEE
156views Multimedia» more  ISM 2008»
14 years 5 months ago
Correlation-Based Video Semantic Concept Detection Using Multiple Correspondence Analysis
Semantic concept detection has emerged as an intriguing topic in multimedia research recently. The ability to interpret high-level semantics from low-level features has been the l...
Lin Lin, Guy Ravitz, Mei-Ling Shyu, Shu-Ching Chen
ADBIS
2010
Springer
203views Database» more  ADBIS 2010»
13 years 10 months ago
Detecting XML Functional Dependencies through Formal Concept Analysis
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
Katalin Tunde Janosi-Rancz, Viorica Varga, Timea N...
DSVIS
2005
Springer
14 years 4 months ago
Concept Analysis as a Formal Method for Menu Design
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Su...
FOSSACS
2001
Springer
14 years 3 months ago
On the Modularity of Deciding Call-by-Need
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
Irène Durand, Aart Middeldorp