6020 search results - page 950 / 1204 » A New Approach to Model Counting |
212
click to vote
VISSYM
2004
15 years 7 months ago
2004
Figure 1: RBF reconstruction of unstructured CFD data. (a) Volume rendering of 1,943,383 tetrahedral shock data set using 2,932 RBF functions. (b) Volume rendering of a 156,642 te...
186
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Considering energy function to detect a correct protein fold from incorrect ones is very important for protein structure prediction and protein folding. Knowledge-base...
152
click to vote
CEE
2007
15 years 6 months ago
2007
Real-time systems are often designed using preemptive scheduling and worst-case execution time estimates to guarantee the execution of high priority tasks. There is, however, an i...
206
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
In many Web applications, such as blog classification and newsgroup classification, labeled data are in short supply. It often happens that obtaining labeled data in a new domain ...
172
click to vote
TNN
2008
15 years 6 months ago
2008
This paper proposes an incremental multiple-object recognition and localization (IMORL) method. The objective of IMORL is to adaptively learn multiple interesting objects in an ima...