2474 search results - page 213 / 495 » Using Knowledge Management Systems to Structure Knowledgeabl... |
169
click to vote
IAAI
2003
15 years 7 months ago
2003
This paper reports some results of a long-term work in application of AI techniques whose ultimate goal is the development of tools for resource scheduling. Most of the efforts so...
193
click to vote
IASTEDSEA
2004
15 years 7 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
175
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—As companies are increasingly exposed to a variety of information security threats, they are permanently forced to pay attention to security issues. Risk management provides an ...
150
Voted
DAC
2009
ACM
16 years 7 months ago
2009
ACM
This paper suggests that the thermal state of a processor can be approximated using data flow analysis. The results of this analysis can be used to evaluate the efficacy of therma...
191
click to vote
FOMI
2009
15 years 4 months ago
2009
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...