1445 search results - page 25 / 289 » Uniformly Hard Languages |
MST
2008
13 years 7 months ago
2008
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
COCO
2010
Springer
13 years 8 months ago
2010
Springer
We investigate the question of what languages can be decided efficiently with the help of a recursive collisionfinding oracle. Such an oracle can be used to break collisionresistan...
ECOOP
1992
Springer
13 years 11 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
TOOLS
1997
IEEE
13 years 12 months ago
1997
IEEE
This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). ...
TREC
2004
13 years 9 months ago
2004
While participating in the HARD track our first question was, what an IR-application should look like that takes into account preference meta-data from the user, without the need ...