11374 search results - page 156 / 2275 » A System Demonstration of ST-TCP |
143
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
We study the relation between the acquisition and analysis of data and quantum theory using a probabilistic and deterministic model for photon polarizers. We introduce criteria fo...
125
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...
187
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...
152
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...
198
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...