1697 search results - page 296 / 340 » On Bayesian Case Matching |
120
Voted
TSE
2010
15 years 28 days ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
105
Voted
WDAG
2010
Springer
15 years 28 days ago
2010
Springer
In a synchronous queue, producers and consumers handshake to exchange data. Recently, new scalable unfair synchronous queues were added to the Java JDK 6.0 to support high performa...
151
Voted
BIS
2010
15 years 18 days ago
2010
The success of information supply strongly depends on successful user adoption. This especially is the case for the integration of non-human information sources deriving from ubiqu...
125
click to vote
EUSFLAT
2009
15 years 10 days ago
2009
Classes issued of evolving systems are dynamic and their characteristics vary over the time. Assigning a pattern to a class is achieved using a classifier. Therefore, the classifie...
145
Voted
ICRA
2009
IEEE
15 years 9 days ago
2009
IEEE
Although RANSAC is the most widely used robust estimator in computer vision, it has certain limitations making it ineffective in some situations, such as the motion estimation prob...