2940 search results - page 328 / 588 » Relational Parametricity and Control |
164
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
In this article, a method is proposed for analysing the thermovision-based video data that characterize the dynamics of temperature anisotropy of the heart tissue in a spatial doma...
175
click to vote
JITECH
2010
15 years 5 months ago
2010
We propose a design theory that tackles dynamic complexity in the design for Information Infrastructures (IIs) defined as a shared, open, heterogeneous and evolving socio-technica...
185
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Today’s enterprises are confronted with a challenging environment that demands continuous transformations. Globalized markets, disruptive technological innovations, an...
180
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract — The natural environments that robotic applications often encounter can present difficult problems for imagebased task execution. Prior efforts have used both grayscale...
159
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...