2694 search results - page 370 / 539 » A Description Logic of Change |
193
click to vote
CEC
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
155
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
146
click to vote
INTR
2007
15 years 6 months ago
2007
Purpose – This paper sets out to present the concept of the value of information, review the descriptive, rational, social and behavioral approaches for assessing the value of i...
178
click to vote
QEST
2005
IEEE
16 years 1 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
162
click to vote
DATE
2008
IEEE
16 years 28 days ago
2008
IEEE
Modern digital signal processing applications have an increasing demand for computational power while needing to preserve low power dissipation and high flexibility. For many appl...