470 search results - page 42 / 94 » Test Case Generation Based on State and Activity Models |
90
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
The aim of this study is to design a controller based on model predictive control (MPC) theory to smooth wind power generation along with the controlled storage of the wind energy ...
SODA
2010
ACM
15 years 10 months ago
2010
ACM
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...
102
click to vote
ERLANG
2008
ACM
15 years 2 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
107
Voted
CGO
2009
IEEE
15 years 7 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
99
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a new Geometric Active Contour (GAC) model based on Lennard-Jones (L-J) force field, which is inspired by the theory of intermolecular interaction. It is diff...