1456 search results - page 122 / 292 » Two Techniques to Improve Finite Model Search |
ECML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Ensemble learning is a powerful learning approach that combines multiple classifiers to improve prediction accuracy. An important decision while using an ensemble of cla...
VG
2003
13 years 9 months ago
2003
Finite element methods commonly use unstructured grids as the computational domain. As a matter of fact, the volume visualization of these unstructured grids is a time consuming t...
CPHYSICS
2010
13 years 8 months ago
2010
In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures. The model has been developed for application...
MTV
2003
IEEE
14 years 1 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
We present a new interface for large-scale online conversations. Our technique, the Conversation Thumbnail, differs from existing discussion interfaces in two respects. First, it ...