851 search results - page 99 / 171 » Inaccessibility in Decision Procedures |
WADT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper a study of some structural features of handwritten letter ‘a’ is presented. The features under consideration are structural, style and formation features documen...
ISIPTA
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper reviews recent results obtained in the medical diagnosis field by adding to a coherent inference process qualitative constraints. Such further considerations turn out ...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...