7380 search results - page 1042 / 1476 » time 2008 |
243
Voted
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Pair approximations have often been used to predict equilibrium conditions in spatially-explicit epidemiological and ecological systems. In this work, we investigate whether this ...
228
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
284
Voted
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
As applications within and outside the enterprise encounter increasing volumes of unstructured data, there has been renewed interest in the area of information extraction (IE) ? t...
238
Voted
BIBM
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—Compressive Sensing Microarrays (CSM) are DNAbased sensors that operate using group testing and compressive sensing (CS) principles. In contrast to conventional DNA micr...
216
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
We propose a Dynamic Bayesian Network (DBN) model for upper body tracking. We first construct a Bayesian Network (BN) to represent the human upper body structure and then incorpo...