2062 search results - page 198 / 413 » Derivatives of Logical Formulas |
127
click to vote
CSC
2006
15 years 5 months ago
2006
: The solution of the equation of heat transfer for pyramidal spines is obtained using computer algebra software. We consider pyramidal spines with three different sectional areas:...
135
click to vote
FIMI
2003
15 years 5 months ago
2003
We will discuss , the depth first implementation of APRIORI as devised in 1999 (see [8]). Given a database, this algorithm builds a trie in memory that contains all frequent item...
114
click to vote
NIPS
2004
15 years 5 months ago
2004
Survey propagation is a powerful technique from statistical physics that has been applied to solve the 3-SAT problem both in principle and in practice. We give, using only probabi...
123
click to vote
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
— This paper makes use of the fluid-based approach to model the throughput of TCP Veno flow over wired/wireless networks. A generalized formula is derived between Veno’s thro...
139
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Refactoring is a change made to the internal structure of software to make it easier to understand and cheaper to modify without changing its observable behaviour. A database refa...