536 search results - page 27 / 108 » From Formal Concept Analysis to Contextual Logic |
158
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
304
click to vote
AMSTERDAM
2009
15 years 3 months ago
2009
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
168
click to vote
TSD
2007
Springer
16 years 5 days ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
159
Voted
ISCI
2010
15 years 4 months ago
2010
The t-concept lattice is introduced as a set of triples associated to graded tabular information interpreted in a non-commutative fuzzy logic. Following the general techniques of ...
156
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...