Sciweavers

8933 search results - page 248 / 1787
» Usability over time
Sort
View
ICML
2007
IEEE
16 years 7 months ago
Modeling changing dependency structure in multivariate time series
We show how to apply the efficient Bayesian changepoint detection techniques of Fearnhead in the multivariate setting. We model the joint density of vector-valued observations usi...
Xiang Xuan, Kevin P. Murphy
KBSE
2009
IEEE
16 years 1 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
LOPSTR
2009
Springer
16 years 1 months ago
Towards Just-In-Time Partial Evaluation of Prolog
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
Carl Friedrich Bolz, Michael Leuschel, Armin Rigo
GLOBECOM
2007
IEEE
16 years 1 months ago
Cooperative Space-Time Coded Transmissions in Nakagami-m Fading Channels
— In this paper we evaluate outage performance of a cooperative transmission protocol over fading channels that requires a number of relaying nodes to employ a distributed space-...
Stefano Savazzi, Umberto Spagnolini
GLOBECOM
2007
IEEE
16 years 1 months ago
Performance Analysis of Transmit and Receive Antenna Selection with Space-Time Coding
Abstract—This paper analyzes the performance of multipleinput multiple-output (MIMO) systems with transmit and receive antenna selection (T-RAS). The average bit error rate (BER)...
Wei Zhang, Chintha Tellambura, Xinwei Deng