854 search results - page 67 / 171 » Addressing Dynamic Issues of Program Model Checking |
136
click to vote
ISSE
2007
15 years 2 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
144
click to vote
ICCV
2009
IEEE
15 years 7 days ago
2009
IEEE
This paper examines the problem of moving object detection. More precisely, it addresses the difficult scenarios where background scene textures in the video might change over tim...
107
click to vote
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
118
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we address the issues of compliant control of a robot under contact constraints with a goal of using joint space based pattern generators as movement primitives,...
139
Voted
CISS
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this work we address the problem of state estimation in dynamical systems using recent developments in compressive sensing and sparse approximation. We formulate the traditio...