Sciweavers

689 search results - page 61 / 138
» The multithreaded version of FORM
Sort
View
ICEC
1996
81views more  ICEC 1996»
13 years 9 months ago
A Self-Adaptive Approach to Representation Shifts in Cultural Algorithms
Abstract - The paper describes how a formal model of selfadaptation [Angeline, 1995] can be expressed in terms of Cultural Algorithms. A particular form of self-adaptation concerns...
Robert G. Reynolds, Chan-Jin Chung
CNL
2009
13 years 9 months ago
Writing Clinical Practice Guidelines in Controlled Natural Language
Abstract. Clinicians could benefit from decision support systems incorporating the knowledge contained in clinical practice guidelines. However, the unstructured form of these guid...
Richard N. Shiffman, George Michel, Michael Krauth...
ASC
2008
13 years 8 months ago
Dynamic data assigning assessment clustering of streaming data
: Discovering interesting patterns or substructures in data streams is an important challenge in data mining. Clustering algorithms are very often applied to identify single substr...
Olga Georgieva, Frank Klawonn
CORR
2010
Springer
112views Education» more  CORR 2010»
13 years 8 months ago
Doubly Perfect Nonlinear Boolean Permutations
Due to implementation constraints the XOR operation is widely used in order to combine plaintext and key bit-strings in secretkey block ciphers. This choice directly induces the cl...
Laurent Poinsot
CORR
2010
Springer
68views Education» more  CORR 2010»
13 years 8 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans