854 search results - page 96 / 171 » Addressing Dynamic Issues of Program Model Checking |
119
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for nding optimal solutions to machine scheduling problems. We propose a new ...
137
click to vote
MICAI
2009
Springer
15 years 9 months ago
2009
Springer
People detection and tracking is a key issue for social robot design and effective human robot interaction. This paper addresses the problem of detecting people with a mobile robo...
IH
2005
Springer
15 years 8 months ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
128
Voted
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
—We address the issue of optimal energy allocation and admission control for communications satellites in earth orbit. Such satellites receive requests for transmission as they o...
112
Voted
TMC
2010
15 years 27 days ago
2010
—Data storage has become an important issue in sensor networks as a large amount of collected data need to be archived for future information retrieval. Storage nodes are introdu...