3778 search results - page 107 / 756 » Erdos-Ko-Rado for three sets |
143
click to vote
IAT
2003
IEEE
15 years 9 months ago
2003
IEEE
This article presents a model for designing negotiation agent with two distinguishing features: 1) a marketdriven strategy and 2) a set of relaxed decision rules. Market-driven ag...
119
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...
138
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
142
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
132
click to vote
EMMCVPR
2001
Springer
15 years 8 months ago
2001
Springer
In a previous paper we described a system which recursively recovers a super-resolved three dimensional surface model from a set of images of the surface. In that paper we assumed ...