1399 search results - page 171 / 280 » Multi-party Finite Computations |
137
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
Finite element analysts and designers need to feel confident in the results of their analyses before sending a product to prototype or production. Mesh discretization can greatly ...
128
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
In this study, an automated adaptive mesh control scheme, based on local mesh modifications, is developed for the finite element simulations of 3D metal forming processes. Error i...
147
click to vote
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we describe a new paradigm for information retrieval in which the retrieval target is based on a model. Three types of models – linear, finite state, and knowledg...
123
click to vote
ERSHOV
1999
Springer
15 years 8 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
154
click to vote
CIE
2009
Springer
15 years 8 months ago
2009
Springer
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...