549 search results - page 78 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
112
click to vote
APVIS
2003
15 years 5 months ago
2003
Many organisations make effective use of their codified knowledge, but they often fail to make most efficient use of their tacit knowledge stocks. What we define here as tacit kno...
164
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
150
click to vote
JSW
2007
15 years 3 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
156
click to vote
TAP
2010
Springer
15 years 1 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
131
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...