4341 search results - page 564 / 869 » Quantitative Model checking |
187
Voted
ICSM
2005
IEEE
16 years 7 days ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
170
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
The importance of an interconnect pattern density model in ASIC design flow for a 90nm technology is presented. It is shown that performing the timing analysis at the worst-case c...
219
click to vote
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
Real-time three-dimensional (RT3D) echocardiography is the newest generation of three-dimensional (3-D) echocardiography. Segmentation of RT3D echocardiographic images is essential...
170
click to vote
GRAPHITE
2007
ACM
15 years 10 months ago
2007
ACM
Point-sampled geometry has gained significant interest due to their simplicity. The lack of connectivity touted as a plus, however, creates difficulties in many operations like ge...
200
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
In the heart of the computer model of visual attention, an interest or saliency map is derived from an input image in a process that encompasses several data combination steps. Whi...