882 search results - page 90 / 177 » Allowing State Changes in Specifications |
187
Voted
IVC
2007
15 years 6 months ago
2007
In this paper, we propose a new technique to perform figure-ground segmentation in image sequences of moving objects under varying illumination conditions. Unlike most of the alg...
161
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
170
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
Recent advances in 3D shape recognition have shown that kernels based on diffusion geometry can be effectively used to describe local features of deforming surfaces. In this paper...
173
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. An error in a firewall policy either creates security hole...
154
click to vote
DSN
2007
IEEE
16 years 14 days ago
2007
IEEE
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...