IVC
2002
13 years 4 months ago
2002
A system for the tracking and classification of livestock movements is presented. The combined `tracker-classifier' scheme is based on a variant of Isard and Blakes `Condensa...
CPHYSICS
2007
13 years 4 months ago
2007
In this paper, we study dimension reduction of the three-dimensional (3D) Gross–Pitaevskii equation (GPE) modeling Bose–Einstein condensation under different limiting interact...
ILP
2003
Springer
13 years 9 months ago
2003
Springer
In this paper, we investigate condensation of a clause. First, we extend a substitution graph introduced by Scheffer et al. (1996) to a total matcher graph. Then, we give a correc...