11374 search results - page 251 / 2275 » Demonstration of the CROSSMARC System |
133
click to vote
CTW
2006
15 years 6 months ago
2006
We discuss the human role in hydropower system control, noting how it is different from other supervisory control environments and the typical shortcomings in current displays pro...
193
click to vote
ET
2006
15 years 6 months ago
2006
In this paper, an optimization methodology is used to select the locations and characteristics of test, diagnosis and rework operations in electronic systems assembly processes. Re...
162
click to vote
IJVR
2008
15 years 6 months ago
2008
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...
214
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
152
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Fairly rapid environmental changes call for continuous surveillance and on-line decision making. There are two main areas where IT technologies can be valuable. In this paper we pr...