12981 search results - page 2119 / 2597 » Model Checking (Abstract) |
196
click to vote
TIP
2010
15 years 1 months ago
2010
Abstract--Image segmentation plays an important role in computer vision and image analysis. In this paper, image segmentation is formulated as a labeling problem under a probabilit...
303
click to vote
TIP
2010
15 years 1 months ago
2010
We explore camera scheduling and energy allocation strategies for lifetime optimization in image sensor networks. For the application scenarios that we consider, visual coverage ov...
245
click to vote
TIP
2010
15 years 1 months ago
2010
Abstract--This paper proposes a new approach, coupling physical models and image estimation techniques, for modelling the movement of fluids. The fluid flow is characterized by tur...
236
click to vote
TR
2010
15 years 1 months ago
2010
Abstract--The development of accurate health condition prediction approaches has been a key research topic in condition based maintenance (CBM) in recent years. However, current he...
188
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...