2661 search results - page 259 / 533 » Model Checking Performability Properties |
119
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
In background subtraction, cast shadows induce silhouette distortions and object fusions hindering performance of high level algorithms in scene monitoring. We introduce a nonpara...
GLOBECOM
2009
IEEE
15 years 7 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...
132
click to vote
IJCAI
1989
15 years 2 months ago
1989
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
113
click to vote
KBS
2002
15 years 18 days ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
INFORMATICALT
2010
14 years 11 months ago
2010
To suitably complete an image without seams, block effects, and artifacts, a novel exemplar-based image completion model employing partial differential equation (PDE) is proposed. ...