Sciweavers

4651 search results - page 220 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
TACAS
2010
Springer
181views Algorithms» more  TACAS 2010»
15 years 10 months ago
Boom: Taking Boolean Program Model Checking One Step Further
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
Gérard Basler, Matthew Hague, Daniel Kroeni...
SIGMOD
2002
ACM
172views Database» more  SIGMOD 2002»
16 years 3 months ago
Automating physical database design in a parallel database
Physical database design is important for query performance in a shared-nothing parallel database system, in which data is horizontally partitioned among multiple independent node...
Jun Rao, Chun Zhang, Nimrod Megiddo, Guy M. Lohman
INFORMATICALT
2008
122views more  INFORMATICALT 2008»
15 years 2 months ago
Modeling Phone Duration of Lithuanian by Classification and Regression Trees, using Very Large Speech Corpus
Classification and regression tree approach was used in this research to model phone duration of Lithuanian. 300 thousand samples of vowels and 400 thousand samples of consonants e...
Giedrius Norkevicius, Gailius Raskinis
ICASSP
2009
IEEE
15 years 9 months ago
Modeling instantaneous intonation for speaker identification using the fundamental frequency variation spectrum
In recent years, the field of automatic speaker identification has begun to exploit high-level sources of speaker-discriminative information, in addition to traditional models o...
Kornel Laskowski, Qin Jin
136
Voted
INFOCOM
2002
IEEE
15 years 8 months ago
Using the Small-World Model to Improve Freenet Performance
– Efficient data retrieval in a peer-to-peer system like Freenet is a challenging problem. In this paper we study the impact of cache replacement policy on the performance of Fre...
Hui Zhang 0002, Ashish Goel, Ramesh Govindan