5630 search results - page 182 / 1126 » Computability in Specification |
142
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
166
click to vote
ICCTA
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper deals with a new distance measure for genes using their microarray expressions. The distance measure is called, "Maxrange distance", where an experiment speci...
143
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: MicroRNAs (miRNAs) play an essential task in gene regulatory networks by inhibiting the expression of target mRNAs. As their mRNA targets are genes involved in importa...
130
click to vote
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper an operational model for the automatic generation of lifelike gestures of an anthropomorphic virtual agent is described. The biologically motivated approach to contr...
178
click to vote
ECEASST
2010
14 years 11 months ago
2010
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...