Sciweavers

1750 search results - page 14 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
ECEASST
2010
13 years 2 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry
CODES
1999
IEEE
13 years 11 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski
ICDM
2008
IEEE
148views Data Mining» more  ICDM 2008»
14 years 1 months ago
Formal Models for Expert Finding on DBLP Bibliography Data
Finding relevant experts in a specific field is often crucial for consulting, both in industry and in academia. The aim of this paper is to address the expert-finding task in a...
Hongbo Deng, Irwin King, Michael R. Lyu
MODELS
2007
Springer
14 years 1 months ago
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
Cécile Hardebolle, Frédéric B...
VL
2005
IEEE
105views Visual Languages» more  VL 2005»
14 years 1 months ago
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
Esther Guerra, Paloma Díaz, Juan de Lara