6020 search results - page 1053 / 1204 » A New Approach to Model Counting |
190
click to vote
ICSM
2008
IEEE
16 years 21 days ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
149
click to vote
IJCNN
2008
IEEE
16 years 21 days ago
2008
IEEE
—Traditional connectionist classification models place an emphasis on learned synaptic weights. Based on neurobiological evidence, a new approach is developed and experimentally ...
157
click to vote
IROS
2008
IEEE
16 years 21 days ago
2008
IEEE
— Cabled robotic systems have been used for a diverse set of applications such as environmental sensing, search and rescue, sports and entertainment and air vehicle simulators. I...
160
click to vote
ISM
2008
IEEE
16 years 21 days ago
2008
IEEE
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...
154
click to vote
NOMS
2008
IEEE
16 years 20 days ago
2008
IEEE
— Quality of Internet audio is highly sensitive to packet loss caused by congestion in the links. Packet loss for audio is normally rectified by adding redundancy using Forward ...