133 search results - page 8 / 27 » On a Fully Abstract Model for a Quantum Linear Functional La... |
MICCAI
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. A stochastic finite element method (SFEM) based framework is proposed for the simultaneous estimation of cardiac kinematics functions and material model parameters. While...
CP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
FUIN
2002
13 years 7 months ago
2002
Abstract. In the paper we deal with the problem of modeling and querying information in schemaless databases of partially labeled objects (PLO-DB). Partially labeled objects are us...
CIBCB
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...