6608 search results - page 1130 / 1322 » On the Completeness of Model Checking |
115
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
We consider the problem of learning to follow a desired trajectory when given a small number of demonstrations from a sub-optimal expert. We present an algorithm that (i) extracts...
134
click to vote
ICML
1997
IEEE
16 years 5 months ago
1997
IEEE
In recent years there has been a flurry of works on learning probabilistic belief networks. Current state of the art methods have been shown to be successful for two learning scen...
144
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
The interpretation of the EM tomography of microtubules is challenging due to the low SNR and low contrast of the volume data. Therefore, image enhancement is crucial for the subs...
143
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
Four-dimensional ultrasound based on matrix phased array transducers can capture the complex 4D cardiac motion in a complete and real-time fashion. However, the large amount of in...
143
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web ...