846 search results - page 5 / 170 » Transforming structures by set interpretations |
CSL
2004
Springer
14 years 27 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
FSS
2008
13 years 7 months ago
2008
This paper introduces a new approach to classification which combines pairwise decomposition techniques with ideas and tools from fuzzy preference modeling. More specifically, our...
RULEML
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...
ANLP
2000
13 years 8 months ago
2000
We introduce a framework for semantic interpretation in which dependency structures are mapped to conceptual representations based on a parsimonious set of interpretation schemata...
APVIS
2007
13 years 9 months ago
2007
Visual similarity matrices (VSMs) are a common technique for visualizing graphs and other types of relational data. While traditionally used for small data sets or well-ordered la...