628 search results - page 42 / 126 » Magic Counting Methods |
120
click to vote
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
102
click to vote
APCHI
2004
IEEE
15 years 6 months ago
2004
IEEE
Conventional web browsing displays a web page inside of a window. In conventional web browsing, following a link replaces the previous document entirely, and the readers tend to lo...
116
click to vote
ANTS
2008
Springer
15 years 4 months ago
2008
Springer
We discuss the computation of coefficients of the L-series associated to a hyperelliptic curve over Q of genus at most 3, using point counting, generic group algorithms, and p-adic...
105
click to vote
CP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
155
Voted
TOG
2012
13 years 4 months ago
2012
We present a parallel iterative rigid body solver that avoids common artifacts at low iteration counts. In large or real-time simulations, iteration is often terminated before con...