536 search results - page 60 / 108 » From Formal Concept Analysis to Contextual Logic |
174
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
163
click to vote
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
174
click to vote
CAEPIA
2009
Springer
15 years 7 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
160
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
157
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...