1022 search results - page 91 / 205 » Stable models and circumscription |
ICCV
2001
IEEE
15 years 2 days ago
2001
IEEE
Many motion detection and tracking algorithms rely on the process of background subtraction, a technique which detects changes from a model of the background scene. We present a n...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—With increasing spatial reuse of the radio spectrum, co-channel interference is becoming the dominant noise source and may severely degrade the communication performance of wire...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
ISM
2008
IEEE
14 years 4 months ago
2008
IEEE
Recently, there has been a growing interest in academic and commercial environments for Video-on-Demand (VoD) using Peer-to-Peer (P2P) technology. Unlike centralized solutions for...
ESEC
1999
Springer
14 years 2 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...