8337 search results - page 250 / 1668 » Reasoning With Characteristic Models |
168
click to vote
ICSE
2011
IEEE-ACM
14 years 9 months ago
2011
IEEE-ACM
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
151
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Effective image segmentation of a digitized scene into a set of recognizable objects requires the development of sophisticated scene analysis algorithms. Progress in this area has...
199
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...
151
click to vote
COGSCI
2010
15 years 6 months ago
2010
Learning to understand a single causal system can be an achievement, but humans must learn about multiple causal systems over the course of a lifetime. We present a hierarchical B...
146
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...