670 search results - page 12 / 134 » Inclusion-Based Approximate Reasoning |
124
Voted
CSL
2006
Springer
15 years 8 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 11 months ago
2006
IEEE
101
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
120
click to vote
MMAS
2010
Springer
14 years 11 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...