1670 search results - page 91 / 334 » On Skolemization in constructive theories |
173
click to vote
ICCE
2007
15 years 7 months ago
2007
: Recently, instructional videos are widely being used in educational settings. Many researches have proposed the construction of video-based learning environments that reflect Cog...
176
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
177
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
We present an explicit construction of codes that can be list decoded from a fraction (1 - ) of errors in sub-exponential time and which have rate / logO(1) (1/). This comes close...
134
click to vote
SAGT
2009
Springer
16 years 27 days ago
2009
Springer
Let A be a randomized, unlimited supply, unit demand, single-item auction, which given a bid-vector b ∈ [h]n , has expected profit E[P(b)]. Aggarwal et al. showed that given A, ...
162
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...