3443 search results - page 93 / 689 » More Algebras for Determiners |
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
LCPC
2001
Springer
14 years 18 days ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Efficient direct solutions for the determination of a cylinder from points are presented. The solutions range from the well known direct solution of a quadric to the minimal soluti...
VR
2003
IEEE
14 years 1 months ago
2003
IEEE
We present an experiment comparing double exponential smoothing and Kalman filter-based predictive tracking algorithms with derivative free measurement models. Our results show t...