3564 search results - page 151 / 713 » Evaluating a Formal Modelling Language |
ICCAD
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
CLEF
2008
Springer
14 years 11 months ago
2008
Springer
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...
CIKM
2001
Springer
15 years 2 months ago
2001
Springer
The language modeling approach to retrieval has been shown to perform well empirically. One advantage of this new approach is its statistical foundations. However, feedback, as on...
OTM
2007
Springer
15 years 4 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...