1585 search results - page 228 / 317 » A framework for computer-aided validation |
150
click to vote
INFOCOM
2007
IEEE
15 years 10 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...
135
click to vote
IROS
2007
IEEE
15 years 10 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...
119
click to vote
ISBI
2007
IEEE
15 years 10 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...
124
click to vote
ISBI
2007
IEEE
15 years 10 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...
127
click to vote
ROMAN
2007
IEEE
15 years 10 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...