689 search results - page 66 / 138 » The multithreaded version of FORM |
125
Voted
WINE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We are interested in mechanisms that maximize social welfare. In [2] this problem was studied for multi-unit auctions and for public project problems, and in each case so...
133
click to vote
CPAIOR
2007
Springer
15 years 9 months ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
200
Voted
FSKD
2007
Springer
15 years 9 months ago
2007
Springer
One of the Web information Retrieval (IR) problems these days is to identify redundant information that exist in (replicated) Web documents. These documents can easily be found in...
114
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomiz...
114
Voted
ACSC
2006
IEEE
15 years 9 months ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...