500 search results - page 14 / 100 » Thread-Modular Abstraction Refinement |
CORR
2007
Springer
14 years 9 months ago
2007
Springer
39
Voted
ENTCS
2007
14 years 9 months ago
2007
76
Voted
VSTTE
2010
Springer
14 years 7 months ago
2010
Springer
ML
2010
ACM
14 years 4 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
SIAMSC
2011
14 years 4 months ago
2011
Abstract. In this paper, we propose new adaptive local refinement (ALR) strategies for firstorder system least-squares (FOSLS) finite element in conjunction with algebraic multi...