8828 search results - page 1548 / 1766 » Formal methods in practice |
138
click to vote
OR
2006
Springer
15 years 4 months ago
2006
Springer
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...
121
click to vote
PAMI
2006
15 years 4 months ago
2006
Gaussian process classifiers (GPCs) are Bayesian probabilistic kernel classifiers. In GPCs, the probability of belonging to a certain class at an input location is monotonically re...
131
click to vote
PR
2006
15 years 4 months ago
2006
The selection of valuable features is crucial in pattern recognition. In this paper we deal with the issue that part of features originate from directional instead of common linea...
123
click to vote
SIAMIS
2008
15 years 4 months ago
2008
The aim in electric impedance tomography is to recover the conductivity inside a physical body from boundary measurements of current and voltage. In many situations of practical im...
116
click to vote
SIAMJO
2008
15 years 4 months ago
2008
Recently, a semidefinite programming (SDP) relaxation approach has been proposed to solve the sensor network localization problem. Although it achieves high accuracy in estimating ...