488 search results - page 90 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
ICDE
2010
IEEE
14 years 8 months ago
2010
IEEE
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...
ISBI
2009
IEEE
14 years 3 months ago
2009
IEEE
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
AAAI
2004
13 years 10 months ago
2004
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...
KCAP
2003
ACM
14 years 1 months ago
2003
ACM
Acquiring knowledge has long been the major bottleneck preventing the rapid spread of AI systems. Manual approaches are slow and costly. Machine-learning approaches have limitatio...
CIVR
2008
Springer
13 years 10 months ago
2008
Springer
There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate foll...