4372 search results - page 670 / 875 » Algorithmic Theories of Everything |
180
click to vote
ICDCS
2007
IEEE
16 years 28 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
171
click to vote
ICIP
2007
IEEE
16 years 28 days ago
2007
IEEE
The problem of image super-resolution from a set of low resolution multiview images has recently received much attention and can be decomposed, at least conceptually, into two con...
159
click to vote
INFOCOM
2007
IEEE
16 years 28 days ago
2007
IEEE
— We consider a collocated wireless network where all links contend for a given channel and each link can hear others’ transmissions. Due to channel fading, the link condition ...
152
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— Traditionally, visual servoing is separated into tracking and control subsystems. This separation, though convenient, is not necessarily well justified. When tracking and cont...
163
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...