19 search results - page 1 / 4 » Impossibility Theorems for Domain Adaptation |
JMLR
2010
12 years 11 months ago
2010
JAIR
2011
12 years 12 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
DAM
2008
13 years 5 months ago
2008
All sufficient (as well as necessary) conditions for a binary relation on a metric space to admit a maximal element on every nonempty compact subset of its domain that have been f...
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
CODCRY
2009
Springer
13 years 11 months ago
2009
Springer
We give two impossibility results regarding strong encryption over an infinite enumerable domain. The first one relates to statistically secure one-time encryption. The second on...