1419 search results - page 112 / 284 » Notes on Formalizing Context |
128
click to vote
CLA
2007
15 years 2 months ago
2007
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
103
Voted
CONTEXT
2005
Springer
15 years 6 months ago
2005
Springer
Regarding the high rate of transgressions of the Highway Code, the paper is about how do road users agree to be exposed to such risks? We consider that this issue must be addressed...
107
Voted
FCT
2005
Springer
15 years 6 months ago
2005
Springer
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
118
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
101
Voted
SAS
2009
Springer
16 years 1 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...