1670 search results - page 117 / 334 » On Skolemization in constructive theories |
162
click to vote
IJCAI
1989
15 years 7 months ago
1989
The apparent motion reveals what in an image that human vision detects first. Chen's assumption that early stage vision can percept global topology is proved incorrect in the...
208
click to vote
ENTCS
2006
15 years 6 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
171
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
182
click to vote
PRL
1998
15 years 6 months ago
1998
We present a computational, group-theoretic approach to steerable functions. The approach is group-theoretic in that the treatment involves continuous transformation groups for wh...
137
click to vote
TOPLAS
2008
15 years 4 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...