670 search results - page 12 / 134 » Inclusion-Based Approximate Reasoning |
CSL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
KR
2004
Springer
14 years 1 months ago
2004
Springer
MMAS
2010
Springer
13 years 2 months ago
2010
Springer
The accuracy of atomistic-to-continuum hybrid methods can be guaranteed only for deformations where the lattice configuration is stable for both the atomistic energy and the hybrid...