544 search results - page 44 / 109 » Deriving Object-Oriented Frameworks from Domain Knowledge |
JMIV
2008
14 years 9 months ago
2008
Tomography is a powerful technique to obtain accurate images of the interior of an object in a nondestructive way. Conventional reconstruction algorithms, such as filtered backproj...
73
Voted
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Attackers take advantage of any security breach to penetrate an organisation perimeter and exploit hosts as stepping stones to reach valuable assets, deeper in the network. The exp...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
110
click to vote
IWPC
2003
IEEE
15 years 3 months ago
2003
IEEE
Program comprehension is an important part of software maintenance, especially when program structure is complex and documentation is unavailable or outdated. Data mining can prod...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes a new registration algorithm, Covariance Driven Correspondences (CDC), that depends fundamentally on the estimation of uncertainty in point correspondences. Th...