549 search results - page 52 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
121
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Retroactivity is a parasitic phenomenon that changes the desired input/output response of a system when it is connected to “downstream” systems. Downstream and upstream ref...
129
click to vote
SIGCSE
2009
ACM
16 years 4 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...
147
click to vote
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
135
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
116
click to vote
IJSWIS
2008
15 years 4 months ago
2008
One of the main strengths of the web is that it allows any party of its global community to share information with any other party. This goal has been achieved by making use of a u...