Sciweavers

298 search results - page 45 / 60
» Abstract Fixpoint Computations with Numerical Acceleration M...
Sort
View
TCOM
2010
83views more  TCOM 2010»
13 years 2 months ago
Global and Fast Receiver Antenna Selection for MIMO Systems
Abstract--For a multiple-input multiple-output (MIMO) system with more antennas at the receiver than the transmitter, selecting the same number of receiver antennas as the number o...
Bu Hong Wang, Hon Tat Hui, Mook Seng Leong
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 25 days ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
APPROX
2006
Springer
121views Algorithms» more  APPROX 2006»
13 years 11 months ago
A Randomized Solver for Linear Systems with Exponential Convergence
Abstract. The Kaczmarz method for solving linear systems of equations Ax = b is an iterative algorithm that has found many applications ranging from computer tomography to digital ...
Thomas Strohmer, Roman Vershynin
ECAI
2008
Springer
13 years 9 months ago
WWW sits the SAT: Measuring Relational Similarity on the Web
Abstract. Measuring relational similarity between words is important in numerous natural language processing tasks such as solving analogy questions and classifying noun-modifier r...
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuk...
ECCV
1998
Springer
14 years 9 months ago
Closed-Form Solutions for the Euclidean Calibration of a Stereo Rig
Abstract. In this paper we describe a method for estimating the internal parameters of the left and right cameras associated with a stereo image pair. The stereo pair has known epi...
Gabriela Csurka, David Demirdjian, Andreas Ruf, Ra...