3575 search results - page 290 / 715 » Presentations of computably enumerable reals |
130
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations o...
186
click to vote
ESWA
2006
15 years 6 months ago
2006
This paper presents the development of XKey, a tool for generating taxonomical identification keys by means of decision tree construction. The tool is based on an XML standard for...
186
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
161
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
196
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We present here a method that aims at producing representations of functional brain data on the cortical surface from functional MRI volumes. Such representations are req...