7840 search results - page 1351 / 1568 » On generalized Ramsey numbers |
174
click to vote
ESA
2007
Springer
16 years 26 days ago
2007
Springer
We investigate Knuth’s eleventh open question on stable matchings. In the stable family problem, sets of women, men, and dogs are given, all of whom state their preferences among...
176
click to vote
ESORICS
2007
Springer
16 years 26 days ago
2007
Springer
Current trust models enable decision support at an implicit level by means of thresholds or constraint satisfiability. Decision support is mostly included only for a single binary...
193
click to vote
FPGA
2007
ACM
16 years 26 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
187
click to vote
FSE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. “Hash then encrypt” is an approach to message authentication, where first the message is hashed down using an ε-universal hash function, and then the resulting k-bi...
193
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...