492 search results - page 77 / 99 » Applying Property Testing to an Image Partitioning Problem |
SIGSOFT
2001
ACM
15 years 10 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
92
Voted
EOR
2011
14 years 4 months ago
2011
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...
81
Voted
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
An innovative extended Kalman filter (EKF) algorithm for pose tracking has been proposed in this paper. It has the advantages of both structure and motion-based (SAM-based) and tr...
MAMMO
2010
Springer
15 years 1 months ago
2010
Springer
Digital breast tomosynthesis (DBT) has the potential to enhance breast cancer detection by reducing the confounding effect of superimposed tissue associated with conventional mamm...
SP
2002
IEEE
14 years 9 months ago
2002
IEEE
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...