6020 search results - page 1198 / 1204 » A New Approach to Model Counting |
115
click to vote
OSDI
1996
ACM
15 years 29 days ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
144
click to vote
3DPH
2009
15 years 23 days ago
2009
3D representations of human physiology provide interesting options in the field of education. Understanding the human brain seems to be much easier when the anatomical structure is...
114
click to vote
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...
ALMOB
2008
14 years 11 months ago
2008
Background: In recent years, quartet-based phylogeny reconstruction methods have received considerable attentions in the computational biology community. Traditionally, the accura...
109
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Gene/protein recognition and normalization are important preliminary steps for many biological text mining tasks, such as information retrieval, protein-protein intera...