12 search results - page 3 / 3 » Robust sketched symbol fragmentation using templates |
ER
2009
Springer
13 years 10 months ago
2009
Springer
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
DAC
2003
ACM
14 years 6 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...