798 search results - page 84 / 160 » Interval Methods: An Introduction |
85
Voted
ICASSP
2009
IEEE
15 years 9 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 ...
116
Voted
ICDM
2009
IEEE
15 years 9 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 ...
124
Voted
FORMATS
2009
Springer
15 years 9 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...
95
Voted
CEC
2007
IEEE
15 years 9 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 ...
115
click to vote
LFCS
2007
Springer
15 years 8 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....