12774 search results - page 172 / 2555 » A Framework for Proof Systems |
132
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
This study addresses a long-standing and wellrecognized problem in KM research, namely the lack of conceptual integration and a cumulative tradition. Knowledge management needs an...
72
Voted
CSUR
2000
15 years 4 months ago
2000
Frameworks are the key to successful object-oriented application development. The goal of this paper is to show that successful framework development must match the business domai...
186
click to vote
CASDMKM
2004
Springer
15 years 10 months ago
2004
Springer
In this study, a novel hybrid AI system framework is developed by means of a systematic integration of artificial neural networks (ANN) and rulebased expert system (RES) with web-b...
129
click to vote
FUIN
2006
15 years 4 months ago
2006
Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-k...
145
click to vote
TSMC
2002
15 years 4 months ago
2002
Existing modeling frameworks for manufacturing system control can be classified into hierarchical, heterarchical, and hybrid control frameworks. The main drawbacks of existing fram...