6020 search results - page 1183 / 1204 » A New Approach to Model Counting |
182
click to vote
JUCS
2010
14 years 8 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
131
click to vote
TROB
2010
14 years 8 months ago
2010
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...
115
Voted
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...
140
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: Using microarray and sequencing platforms, a large number of copy number variations (CNVs) have been identified in humans. In practice, because our human genome is a d...
118
click to vote
TEI
2012
ACM
13 years 9 months ago
2012
ACM
Graspable tangibles are now being explored on the current generation of capacitive touch surfaces, such as the iPad and the Android tablet. Because the size and form factor is rel...