2200 search results - page 198 / 440 » Bloch's Constant is Computable |
153
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
173
click to vote
WAPCV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Selective attention shift can help neural networks learn invariance. We describe a method that can produce a network with invariance to changes in visual input caused by ...
219
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the problem of scheduling realtime dwells in multi-function phase array radar systems. To keep track of targets, a radar system must meet its timing and energ...
170
click to vote
WMCSA
2003
IEEE
15 years 12 months ago
2003
IEEE
As intelligent devices become affordable and wireless infrastructure becomes pervasive, the potential to combine, or aggregate, device functionality to provide a user with a bette...
189
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
We consider two variants of the well-known “sailor in the fog” puzzle. The first version (the “asteroid surveying” problem) is set in three dimensions and asks for the sh...