Sciweavers

1669 search results - page 8 / 334
» Structured Specification of Model Interpreters
Sort
View
EURODAC
1994
IEEE
127views VHDL» more  EURODAC 1994»
13 years 11 months ago
A process algebra interpretation of a verification oriented overlanguage of VHDL
The VOVHDL language was defined as a verification oriented VHDL
Catherine Bayol, Bernard Soulas, Dominique Borrion...
ESANN
2008
13 years 8 months ago
Interpretable ensembles of local models for safety-related applications
Abstract. This paper discusses a machine learning approach for binary classification problems which satisfies the specific requirements of safety-related applications. The approach...
Sebastian Nusser, Clemens Otte, Werner Hauptmann
BMCBI
2010
101views more  BMCBI 2010»
13 years 7 months ago
Optimizing structural modeling for a specific protein scaffold: knottins or inhibitor cystine knots
Background: Knottins are small, diverse and stable proteins with important drug design potential. They can be classified in 30 families which cover a wide range of sequences (1621...
Jérôme Gracy, Laurent Chiche
CMOT
2000
128views more  CMOT 2000»
13 years 7 months ago
Ontologies to Support Process Integration in Enterprise Engineering
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
Michael Grüninger, Katy Atefi, Mark S. Fox
IJCAI
1997
13 years 8 months ago
On the Role of Hierarchy for Neural Network Interpretation
In this paper, we concentrate on the expressive power of hierarchical structures in neural networks. Recently, the so-called SplitNet model was introduced. It develops a dynamic n...
Jürgen Rahmel, Christian Blum, Peter Hahn