3358 search results - page 368 / 672 » Parametric Aspects: A Proposal |
195
click to vote
FMSD
2007
15 years 6 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
185
click to vote
IJDMB
2007
15 years 6 months ago
2007
: Probabilistic Boolean Network (PBN) is widely used to model genetic regulatory networks. Evolution of the PBN is according to the transition probability matrix. Steady-state (lon...
181
Voted
AIR
2005
15 years 6 months ago
2005
A desired capability of automatic problem solvers is that they can explain the results. Such explanations should justify that the solution proposed by the problem solver arises fr...
139
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
In this paper I discuss some of the criteria that are widely used in the linguistic and philosophical literature to classify an aspect of meaning as either semantic or pragmatic. W...
175
click to vote
IJSWIS
2007
15 years 6 months ago
2007
In a semantic environment data is described by ontologies and ontology mapping has become a crucial aspect in solving the heterogeneity problems of semantically described data. Th...