190 search results - page 1 / 38 » Uniquely undefinable elements |
JSYML
2010
12 years 11 months ago
2010
TACS
1994
Springer
13 years 8 months ago
1994
Springer
In the A-calculus, there is a standard notion of what terms should be considered to be "undefined": the unsolvable terms. There are various equivalent characterisations o...
ISCAS
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract— Practical log-domain filter circuits might have multiple operating points in regions in which the translinear element does not obey the exponential law. In this paper,...
CVPR
2012
IEEE
11 years 7 months ago
2012
IEEE
Navier’s equations modelling linear elastic solid deformations are embedded within an Extended Kalman Filter (EKF) to compute a sequential Bayesian estimate for the Non-Rigid St...
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...