11172 search results - page 2224 / 2235 » Testing Physical Systems |
124
click to vote
OOPSLA
2010
Springer
15 years 10 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
113
click to vote
ESIAT
2009
IEEE
15 years 7 days ago
2009
IEEE
Shortcut nitrification was reported to be technically feasible and economically favourable, especially when sewages with high ammonium concentrations or low C/N ratios are treated....
118
click to vote
ESIAT
2009
IEEE
15 years 7 days ago
2009
IEEE
Ocean primary production (OPP) is an important indicator of ocean ecological system. The spatial and temporal pattern of OPP is helpful for global climate change study. Remote sens...
179
click to vote
ICCV
2009
IEEE
15 years 5 days ago
2009
IEEE
Recognizing human action in non-instrumented video is a challenging task not only because of the variability produced by general scene factors like illumination, background, occlu...
140
click to vote
ICETET
2009
IEEE
15 years 5 days ago
2009
IEEE
With increasing concern about energy shortage and environmental protection, research on reducing exhaust emissions, reducing fuel consumption, reducing engine noise and increasing...