1399 search results - page 34 / 280 » Multi-party Finite Computations |
89
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
136
Voted
COLING
2002
15 years 3 months ago
2002
114
Voted
DM
2010
15 years 1 months ago
2010
139
Voted
SIAMNUM
2010
14 years 10 months ago
2010
A number of works concerning rigorous convergence theory for adaptive finite element methods (AFEM) for controlling global energy errors have appeared in recent years. However, man...
136
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...