11063 search results - page 166 / 2213 » On the existence of universal models |
153
click to vote
SERP
2003
15 years 7 months ago
2003
This paper outlines the motivation for, and the development of, an online advisement scheduling system, OASIS, which will be used in the Computer Science Department at the Univers...
179
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
138
click to vote
AML
2008
15 years 6 months ago
2008
Abstract. We say that a coloring c : []n 2 is continuous if it is continuous with respect to some second countable topology on . A coloring c is potentially continuous if it is co...
177
click to vote
PAMI
2002
15 years 6 months ago
2002
We consider simple digital curves in a 3D orthogonal grid as special polyhedrally bounded sets. These digital curves model digitized curves or arcs in three-dimensional euclidean ...
155
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a study on purely data-based recognition of animal sounds, performing evaluation on a real-world database obtained from the Humboldt-University Animal Sound Archive. As...