11973 search results - page 171 / 2395 » Methods for organizational development |
154
click to vote
VIP
2000
15 years 6 months ago
2000
The aim of this paper is to develop accurate and reliable methods for automated detection of the edges of the lung by a knowledge-based approach. First, the system initialises the...
149
click to vote
HCI
2009
15 years 2 months ago
2009
Quantitative models of whole body expressive movement can be developed by combining methods form biomechanics, psychology, and statistics. The purpose of this paper was to use moti...
130
Voted
FM
2003
Springer
15 years 10 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
106
Voted
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
139
Voted
FMOODS
2007
15 years 6 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...