1633 search results - page 295 / 327 » On the Verification of Temporal Properties |
123
click to vote
CRV
2005
IEEE
15 years 1 months ago
2005
IEEE
In this paper, we present an approach for video surveillance involving (a) moving object detection, (b) tracking and (c) normal/abnormal event recognition. The detection step uses...
HVEI
2010
15 years 1 months ago
2010
In his book "Understanding Media" social theorist Marshall McLuhan declared: "The medium is the message." The thesis of this paper is that with respect to imag...
GRAPHICSINTERFACE
2007
15 years 1 months ago
2007
In this paper we present a visually compelling and informative cartoon rendering style for liquid animations. Our style is inspired by animations such as Futurama,1 The Little Mer...
IJCAI
2007
15 years 1 months ago
2007
It is now well-known that the size of the model is the bottleneck when using model-based approaches to diagnose complex systems. To answer this problem, decentralized/distributed ...
NIPS
2007
15 years 1 months ago
2007
The notion of algorithmic stability has been used effectively in the past to derive tight generalization bounds. A key advantage of these bounds is that they are designed for spec...