7978 search results - page 1262 / 1596 » Representation before computation |
181
click to vote
DSN
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper, we present a parallel implementation for the steady-state analysis of continuous-time Markov chains (CTMCs). This analysis is performed via solution of a linear equ...
174
click to vote
ICCV
2005
IEEE
16 years 11 days ago
2005
IEEE
Recognition of specular objects is particularly difficult because their appearance is much more sensitive to lighting changes than that of Lambertian objects. We consider an appr...
163
click to vote
ICCV
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract. This paper presents a method to segment the hand over complex backgrounds, such as the face. The similar colors and texture of the hand and face make the problem particul...
194
click to vote
ICCV
2005
IEEE
16 years 11 days ago
2005
IEEE
We present a 2D model-based approach to localizing human body in images viewed from arbitrary and unknown angles. The central component is a statistical shape representation of th...
194
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...