4061 search results - page 738 / 813 » Framework Evolution Tool |
112
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
142
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
CORR
2011
Springer
14 years 8 months ago
2011
Springer
—While medical imaging typically provides massive amounts of data, the extraction of relevant information for predictive diagnosis remains a difficult challenge. Functional MRI ...
103
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
— Future power networks will be characterized by safe and reliable functionality against physical malfunctions and cyber attacks. This paper proposes a unified framework and adv...
138
click to vote
COMBINATORICA
2010
14 years 8 months ago
2010
We prove that the edges of every graph of bounded (Euler) genus can be partitioned into any prescribed number k of pieces such that contracting any piece results in a graph of bou...