738 search results - page 130 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
BMCBI
2008
15 years 1 months ago
2008
Background: Ionic current blockade signal processing, for use in nanopore detection, offers a promising new way to analyze single molecule properties with potential implications f...
120
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Accessible surface area (ASA) or solvent accessibility of amino acids in a protein has important implications. Knowledge of surface residues helps in locating potentia...
PVLDB
2010
14 years 11 months ago
2010
Entity Resolution (ER) is the process of identifying groups of records that refer to the same real-world entity. Various measures (e.g., pairwise F1, cluster F1) have been used fo...
110
click to vote
IPSN
2009
Springer
15 years 8 months ago
2009
Springer
We consider the problem of monitoring spatial phenomena, such as road speeds on a highway, using wireless sensors with limited battery life. A central question is to decide where ...
138
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Previous work in multiagent coordination has addressed the challenge of planning in domains where agents must optimize a global goal, while satisfying local resource constraints. ...