330 search results - page 41 / 66 » Algorithms for Propositional Model Counting |
76
Voted
CONCURRENCY
2010
14 years 9 months ago
2010
Over the past decade the number of processors in the high performance facilities went up to hundreds of thousands. As a direct consequence, while the computational power follow th...
BMCBI
2010
14 years 9 months ago
2010
Background: Liquid chromatography-mass spectrometry (LC-MS) is one of the major techniques for the quantification of metabolites in complex biological samples. Peak modeling is on...
AAAI
1994
14 years 10 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
ICC
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- Hybrid wireless-optical broadband access network (WOBAN) is a promising architecture for future network operations. Recently, the wireless part of WOBAN has been gaining...
113
click to vote
SI3D
2003
ACM
15 years 2 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...