3433 search results - page 402 / 687 » Heuristics for a bidding problem |
194
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
205
click to vote
ATAL
2003
Springer
16 years 19 hour ago
2003
Springer
Coalition formation methods allow agents to join together and are thus necessary in cases where tasks can only be performed cooperatively by groups. This is the case in the Reques...
206
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Clustering is a common technique to overcome the wire delay problem incurred by the evolution of technology. Fully-distributed architectures, where the register file, the functio...
153
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
The problem of finding an optimal bipartition of a rectangle set has a direct impact on query performance of dynamic R-trees. During update operations, overflowed nodes need to be...
180
Voted
IUI
1993
ACM
15 years 11 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...