3081 search results - page 449 / 617 » A Formal Ontology of Properties |
168
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
147
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
174
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
171
click to vote
MFCS
2004
Springer
15 years 12 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
170
click to vote
WABI
2004
Springer
15 years 12 months ago
2004
Springer
Conserved intervals were recently introduced as a measure of similarity between genomes whose genes have been shuffled during evolution by genomic rearrangements. Phylogenetic reco...