Sciweavers

12714 search results - page 2196 / 2543
» Designing Data Warehouses
Sort
View
SPEECH
2010
225views more  SPEECH 2010»
15 years 5 months ago
Automatic recognition of regional phonological variation in conversational interaction
One key aspect of face-to-face communication concerns the differences that may exist between speakers’ native regional accents. This paper focuses on the characterization of re...
Vincent Aubanel, Noël Nguyen
SPIN
2010
Springer
15 years 5 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
STTT
2010
97views more  STTT 2010»
15 years 5 months ago
Distributed dynamic partial order reduction
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Rob...
TC
2010
15 years 5 months ago
TSS: Efficient Term Set Search in Large Peer-to-Peer Textual Collections
—Previous multikeyword search in DHT-based P2P systems often relies on multiple single keyword search operations, suffering from unacceptable traffic cost and poor accuracy. Prec...
Hanhua Chen, Jun Yan, Hai Jin, Yunhao Liu, Lionel ...
TMC
2010
136views more  TMC 2010»
15 years 5 months ago
Relay Node Deployment Strategies in Heterogeneous Wireless Sensor Networks
– While a lot of existing research attempts to extend the lifetime of a wireless sensor network (WSN) by designing energy efficient networking protocols, the impact of random dev...
Kenan Xu, Hossam S. Hassanein, Glen Takahara, Quan...
« Prev « First page 2196 / 2543 Last » Next »