10159 search results - page 1626 / 2032 » System Design Validation Using Formal Models |
213
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...
153
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Stent implantation for coronary disease treatment is a highly important minimally invasive technique that avoids surgery interventions. In order to assure the success of such an i...
154
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
156
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Consider the problem of base-station and subcarrier assignment on the downlink of a two-cell OFDMA system with adaptive modulation. The aim is to maximize a common data...
156
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
—Large scale market penetration of electronic devices equipped with Bluetooth technology now gives the ability to share content (such as music or video clips) between members of ...