1399 search results - page 39 / 280 » Multi-party Finite Computations |
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
In this contribution we introduce adaptive finite element methods for forward modeling in fluorescence optical tomography. Adaptive local mesh refinement increases the accuracy of...
SIGCSE
2006
ACM
14 years 3 months ago
2006
ACM
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
MOC
2000
13 years 9 months ago
2000
A number of new local and parallel discretization and adaptive finite element algorithms are proposed and analyzed in this paper for elliptic boundary value problems. These algorit...
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...