1585 search results - page 228 / 317 » A framework for computer-aided validation |
211
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The main goal of a streaming application is to enable the successful decoding of each video object before its displaying deadline is violated, and to recover from a deadline vio...
187
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper considers the problem of coordinating multiple vehicles with kinodynamic constraints that operate in the same partially-known environment. The vehicles are able to c...
182
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a dynamic texture based motion segmentation approach to address the challenging problem of heart localization and segmentation in 4D Spatio-temporal cardi...
192
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Recently, the 2-point correlation functions (2-pcfs) were employed in building feature vectors for histological image segmentation. The 2-pcfs serve as estimators of material dist...
178
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...