2317 search results - page 200 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
105
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— We are motivated by the prospect of automating microbial observing systems. To this end we have designed and built a robotic boat as part of a sensor network for monitoring aqu...
147
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
151
click to vote
DEBS
2009
ACM
15 years 7 months ago
2009
ACM
One of the main challenges faced by content-based publish/subscribe systems is handling large amount of dynamic subscriptions and publications in a multidimensional content space....
155
click to vote
AISS
2010
15 years 1 months ago
2010
This paper presents the artificial intelligence techniques to control a proton exchange membrane fuel cell system process using particularly a methodology of dynamic neural networ...
120
click to vote
PTS
2007
15 years 5 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...