Sciweavers

Share
659 search results - page 1 / 132
» Knowledge-Based Automation of a Design Method for Concurrent...
Sort
View
ATVA
2010
Springer
114views Hardware» more  ATVA 2010»
9 years 8 months ago
Methods for Knowledge Based Controlling of Distributed Systems
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...
EKAW
2004
Springer
10 years 1 months ago
Refactoring Methods for Knowledge Bases
The manual development of large knowledge systems is a difficult and error-prone task. In order to facilitate extensions to an existing knowledge base the structural design of the...
Joachim Baumeister, Frank Puppe, Dietmar Seipel
LPAR
2004
Springer
10 years 1 months ago
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
Mark Bickford, Robert L. Constable, Joseph Y. Halp...
IDA
1999
Springer
10 years 7 days ago
Knowledge-Based Visualization to Support Spatial Data Mining
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...
Gennady L. Andrienko, Natalia V. Andrienko
books