854 search results - page 102 / 171 » Addressing Dynamic Issues of Program Model Checking |
129
Voted
COCOA
2009
Springer
15 years 9 months ago
2009
Springer
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
100
click to vote
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— To address perception problems we must be able to track dynamics targets of the environment. An important issue of tracking is filtering problem in which estimates of the targ...
133
click to vote
ISBI
2002
IEEE
16 years 3 months ago
2002
IEEE
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
143
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
126
click to vote
MOBIHOC
2005
ACM
16 years 2 months ago
2005
ACM
Wireless networks are built upon a shared medium that makes it easy for adversaries to launch jamming-style attacks. These attacks can be easily accomplished by an adversary emitt...