2282 search results - page 143 / 457 » Active property checking |
156
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
Active contour and active polygon models have been used widely for image segmentation. In some applications, the topology of the object(s) to be detected from an image is known a ...
166
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
161
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we explore flexible name resolution as a way of supporting extensibility for wide-area distributed services. Our approach, called Active Names, maps names to a cha...
151
click to vote
FGR
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a new technique for the perception of activities using statistical description of spatio-temporal properties. With this approach, the probability of an activit...
151
click to vote
TIP
2008
15 years 4 months ago
2008
Changes in motion properties of trajectories provide useful cues for modeling and recognizing human activities. We associate an event with significant changes that are localized in...