2324 search results - page 76 / 465 » Benchmark Generation Using Domain Specific Modeling |
127
click to vote
HYBRID
2010
Springer
14 years 12 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
107
click to vote
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
BMCBI
2010
14 years 10 months ago
2010
Background: Epigenetics is an important layer of transcriptional control necessary for cell-type specific gene regulation. Recent studies have shown significant epigenetic pattern...
AIPS
2003
14 years 11 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
FOCS
1990
IEEE
15 years 1 months ago
1990
IEEE
Two of the most commonly used models in computational learning theory are the distribution-free model in which examples are chosen from a fixed but arbitrary distribution, and the ...