6020 search results - page 712 / 1204 » A New Approach to Model Counting |
190
click to vote
CPHYSICS
2010
15 years 7 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...
156
click to vote
BIOINFORMATICS
2004
15 years 6 months ago
2004
Motivation: The high content of repetitive sequences in the genomes of many higher eukaryotes renders the task of annotating them computationally intensive. Presently, the only wi...
179
click to vote
PDPTA
2010
15 years 4 months ago
2010
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
221
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present an active learning approach to choose image annotation requests among both object category labels and the objects’ attribute labels. The goal is to solicit those labe...
173
click to vote
LOBJET
2006
15 years 6 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...