536 search results - page 38 / 108 » From Formal Concept Analysis to Contextual Logic |
202
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
Television news has become the predominant way of understanding the world around us, but individual news broadcasters can frame or mislead an audience’s understanding of politic...
167
click to vote
WISE
2003
Springer
15 years 11 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
151
Voted
SAS
2007
Springer
16 years 6 days ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
140
click to vote
SPLC
2008
15 years 7 months ago
2008
This paper introduces an extractive approach to building-up a product line based on existing systems. Thereby, we focus on the analysis of common functionalities across different ...
166
Voted
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...