670 search results - page 12 / 134 » Inclusion-Based Approximate Reasoning |
CSL
2006
Springer
15 years 5 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
15 years 7 months ago
2006
IEEE
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
KR
2004
Springer
15 years 7 months ago
2004
Springer
92
Voted
MMAS
2010
Springer
14 years 8 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...