244 search results - page 15 / 49 » Contracts for first-class classes |
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...
COMBINATORICA
2010
13 years 2 months ago
2010
We prove that the edges of every graph of bounded (Euler) genus can be partitioned into any prescribed number k of pieces such that contracting any piece results in a graph of bou...
WINE
2009
Springer
14 years 2 months ago
2009
Springer
In sponsored search auctions advertisers typically pay a fixed amount per click that their advertisements receive. In particular, the advertiser and the publisher enter into a con...
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...