798 search results - page 84 / 160 » Interval Methods: An Introduction |
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we present a novel speech-rhythm-guided syllablenuclei location detection algorithm. As a departure from conventional methods, we introduce an instantaneous speech ...
ICDM
2009
IEEE
14 years 3 months ago
2009
IEEE
: In this paper, we present a novel method for fast data-driven construction of regression trees from temporal datasets including continuous data streams. The proposed Mean Output ...
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper looks at the statistics used to compare variations to the genetic programming method. Previous work in this area has been dominated by the use of mean best-of-run ...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....