6833 search results - page 1145 / 1367 » Some two-character sets |
194
click to vote
LSSC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
190
click to vote
OTM
2007
Springer
16 years 22 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
169
click to vote
PEPM
2007
ACM
16 years 22 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
174
click to vote
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
143
click to vote
VMCAI
2007
Springer
16 years 21 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...