9455 search results - page 1811 / 1891 » The Modelling Language Zinc |
135
click to vote
JMLR
2010
14 years 8 months ago
2010
Continuous-time Bayesian networks is a natural structured representation language for multicomponent stochastic processes that evolve continuously over time. Despite the compact r...
128
click to vote
LOGCOM
2010
14 years 8 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
SIAMMA
2010
14 years 8 months ago
2010
We present the first of two articles on the small volume fraction limit of a nonlocal Cahn-Hilliard functional introduced to model microphase separation of diblock copolymers. Her...
118
Voted
SOSYM
2010
14 years 8 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
143
click to vote
VC
2010
14 years 8 months ago
2010
This paper presents a novel concept: a graphical representation of human emotion extracted from text sentences. The major contributions of this paper are the following. First, we p...