8828 search results - page 88 / 1766 » Formal methods in practice |
100
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
An integrated and effective metal artifact reduction method named Metal Erasing (ME) especially suited to dental applications is proposed. Layout of metals is identified as metal-...
137
click to vote
WSC
2001
15 years 5 months ago
2001
This paper describes a novel method for detecting the bottleneck in a discrete event system by examining the average duration of a machine being active for all machines. The machi...
133
click to vote
AMFG
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a simplified and practical computational technique for estimating directional lighting in uncalibrated images of faces in frontal pose. We show that this inverse probl...
252
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Globally optimal formulations of geometric computer vision problems comprise an exciting topic in multiple view geometry. These approaches are unaffected by the quality of a provid...
132
click to vote
CASCON
2001
15 years 5 months ago
2001
This paper reports the results of a recent survey involving over one hundred leading professionals of user-centered design (UCD). The survey covered a broad range of issues rangin...