11973 search results - page 144 / 2395 » Methods for organizational development |
194
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
143
click to vote
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
150
click to vote
IWPC
1998
IEEE
15 years 9 months ago
1998
IEEE
In this study, we conducted a survey to generate archetypes of source code searching by programmers across maintenance tasks. Using a questionnaire on a web page, we obtained 69 r...
198
click to vote
ANNES
1995
15 years 8 months ago
1995
The 1R procedure for machine learning is a very simple one that proves surprisingly effective on the standard datasets commonly used for evaluation. This paper describes the metho...
138
click to vote
WSC
1997
15 years 6 months ago
1997
This paper deals with ranking and selection problem via simulation. We present an optimal computing budget allocation technique which can select the best of k simulated designs. T...