753 search results - page 56 / 151 » Completing a (k - 1)-Assignment |
COCO
2004
Springer
15 years 3 months ago
2004
Springer
We prove a parameterized analog of Schaefer’s Dichotomy Theorem: we show that for every finite boolean constraint family F, deciding whether a formula containing constraints fr...
EUROMICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper pertains to the recognition of textural regions for color video analysis. The proposed scheme uses the covariance of 2nd -order statistics on the wavelet domain, betwee...
ACMICEC
2003
ACM
15 years 3 months ago
2003
ACM
We discuss a solution to the winner determination problem which takes into account not only costs but also risk aversion of the agent that accepts the bids. We are interested in b...
104
click to vote
AGENTCL
2003
Springer
15 years 3 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
CAV
2003
Springer
15 years 3 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...