2661 search results - page 473 / 533 » Model Checking Performability Properties |
ICCV
2007
IEEE
14 years 4 months ago
2007
IEEE
Structural perception of data plays a fundamental role in pattern analysis and machine learning. In this paper, we develop a new structural perception of data based on local conte...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a comprehensive statistical analysis of workloads collected on data-intensive clusters and Grids. The analysis is conducted at different levels, including Virt...
SMI
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a new multiview alignment algorithm that performs both the coarse and fine alignment of unordered sets of range scans. Our algorithm selects quadruples of ran...
TASE
2007
IEEE
14 years 4 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
AVSS
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we address the spatial activity recognition problem with an algorithm based on Smith-Waterman (SW) local alignment. The proposed SW approach utilises dynamic program...