11973 search results - page 226 / 2395 » Methods for organizational development |
151
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
127
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
175
click to vote
FGR
2004
IEEE
15 years 9 months ago
2004
IEEE
We review several model-based and image-based methods that we have developed for analyzing, synthesizing, and recognizing facial images. Our model-based methods include a sophisti...
135
Voted
CORR
2004
Springer
15 years 6 months ago
2004
Springer
1 The article presents an online relevancy tuning method using explicit user feedback. The author developed and tested a method of words' weights modification based on search ...
132
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Phase noise is a topic of theoretical and practical interest in electronic circuits, as well as in other fields such as optics. Although progress has been made in understanding th...