134 search results - page 15 / 27 » Finiteness Conditions for Strictness Analysis |
KES
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper proposes an approach to estimating the temperature field of the pistons of Diesel Engines 4112 using the combination of experimental measurement and finite ele...
AUTOMATICA
2002
13 years 8 months ago
2002
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
DBPL
2007
Springer
14 years 16 days ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
UAI
2004
13 years 10 months ago
2004
A Bayesian belief network is a model of a joint distribution over a finite set of variables, with a DAG structure representing immediate dependencies among the variables. For each...