8828 search results - page 1265 / 1766 » Formal methods in practice |
185
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
172
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
182
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
In radar, when the wavelength of the transmitted electromagnetic wave is considerably larger than the dimension of the antenna, the received signal is modeled as the integral of t...
189
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Although the human hand is a complex biomechanical system, only a small set of features may be necessary for observation learning of functional grasp classes. We explor...
200
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Prostate cancer treatment by radiation therapy requires an accurate localisation of the prostate. For the treatment planning, primarily computed tomography (CT) images are used, b...