104 search results - page 8 / 21 » Formal concept analysis of higher order |
112
Voted
FOIKS
2010
Springer
14 years 10 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
JSW
2007
15 years 12 days ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
120
click to vote
GG
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
110
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
93
Voted
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...