1585 search results - page 203 / 317 » A framework for computer-aided validation |
255
click to vote
NETWORKING
2011
14 years 6 months ago
2011
Short-range, point-to-point communications for mobile users enjoy increasing popularity, particularly with the rise in Bluetooth-equipped mobile devices. Unfortunately, virus write...
155
Voted
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Object detection and recognition has achieved a significant progress in recent years. However robust 3D object detection and segmentation in noisy 3D data volumes remains a challen...
154
click to vote
MICCAI
2005
Springer
16 years 4 months ago
2005
Springer
Functional Magnetic Resonance Imaging(fMRI) has enabled scientists to look into the active human brain, leading to a flood of new data, thus encouraging the development of new data...
243
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
137
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...