2324 search results - page 159 / 465 » Benchmark Generation Using Domain Specific Modeling |
97
Voted
JSA
2008
14 years 9 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
111
Voted
BXML
2003
14 years 11 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
95
Voted
CEC
2009
IEEE
14 years 8 months ago
2009
IEEE
-- Most optimization algorithms that use probabilistic models focus on extracting the information from good solutions found in the population. A selection method discards the below...
87
Voted
ER
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...
ICML
2003
IEEE
15 years 11 months ago
2003
IEEE
The majority of theoretical work in machine learning is done under the assumption of exchangeability: essentially, it is assumed that the examples are generated from the same prob...