Sciweavers

3363 search results - page 372 / 673
» A Framework for Knowledge Reuse
Sort
View
CAV
2010
Springer
185views Hardware» more  CAV 2010»
15 years 7 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton
IJKL
2006
68views more  IJKL 2006»
15 years 6 months ago
Toward a taxonomy of knowledge-based strategies: early findings
: Knowledge-Based (KB) Strategies are being recognised as a vital factor of business strategy. Still, a complete taxonomy of KB strategies is absent. This research proposes such a ...
Meir Russ, Jeannette K. Jones, Robert Fineman
157
Voted
IJKL
2006
68views more  IJKL 2006»
15 years 6 months ago
Knowledge-based strategies and information system technologies: preliminary findings
: Knowledge-Based (KB) strategies are being recognised as a vital factor of business strategy. Still, there is limited empirical research in this young academic field. This researc...
Meir Russ, Jeannette K. Jones
DATAMINE
2007
103views more  DATAMINE 2007»
15 years 6 months ago
Relational peculiarity-oriented mining
Peculiarity rules are a new type of useful knowledge that can be discovered by searching the relevance among peculiar data. A main task in mining such knowledge is peculiarity iden...
Muneaki Ohshima, Ning Zhong, Yiyu Yao, Chunnian Li...
KES
2008
Springer
15 years 6 months ago
Adventures in the Boundary between Domain-Independent Ontologies and Domain Content for CSCL
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...
Seiji Isotani, Riichiro Mizoguchi