1996 search results - page 110 / 400 » A decision procedure for linear |
172
click to vote
AIPS
2003
15 years 7 months ago
2003
We present an efficient algorithm for exact calculation and minimization of expected waiting times of all passengers using a bank of elevators. The dynamics of the system are rep...
178
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Proton Magnetic Resonance (MR) Spectroscopy (MRS) is a widely available technique for those clinical centres equipped with MR scanners. Unlike the rest of MR-based tec...
166
click to vote
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a method to estimate in real-time the position and orientation of a previously viewed planar patch. The algorithm is based on minimising the sum of square...
173
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
162
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
The new concept and method of imposing imprecise (fuzzy) input and output data upon the conventional linear regression model is proposed in this paper. We introduce the fuzzy scala...