1399 search results - page 41 / 280 » Multi-party Finite Computations |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we investigate how to obtain high-level adaptivity on complex scientific applications such as Finite Element (FE) simulators by building an adaptive version of thei...
ECCV
2004
Springer
14 years 11 months ago
2004
Springer
Level-set methods have been shown to be an effective way to solve optimisation problems that involve closed curves. They are well known for their capacity to deal with flexible top...
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, we extend the classical notion of strategies in turn-based finite games by allowing several moves to be selected. We define and study a quantitative measure for pe...
ISMVL
1994
IEEE
14 years 2 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
