11973 search results - page 412 / 2395 » Methods for organizational development |
177
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
174
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
182
click to vote
SOMET
2007
15 years 8 months ago
2007
This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...
198
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
There has been a significant interest in the recovery of low-rank matrices from an incomplete of measurements, due to both theoretical and practical developments demonstrating th...
213
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Gene expression profiling has become a useful biological resource in recent years, and it plays an important role in a broad range of areas in biology. The raw gene ex...