4854 search results - page 680 / 971 » It's the Programming, Stupid |
170
click to vote
CP
2007
Springer
16 years 25 days ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
197
click to vote
DAMON
2007
Springer
16 years 25 days ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
185
click to vote
EPIA
2007
Springer
16 years 25 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
151
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...
142
click to vote
IFIP
2007
Springer
16 years 25 days ago
2007
Springer
The definition of the next generation of wireless networks is well under way within the IEEE 802.11 High Throughput Task Group committee. The resulting standard, to be called IEEE...