Sciweavers

8647 search results - page 414 / 1730
» The Container Selection Problem
Sort
View
CONCUR
2010
Springer
15 years 6 months ago
Parameterized Verification of Ad Hoc Networks
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavat...
ORL
2008
124views more  ORL 2008»
15 years 4 months ago
Sample average approximation of expected value constrained stochastic programs
We propose a sample average approximation (SAA) method for stochastic programming problems involving an expected value constraint. Such problems arise, for example, in portfolio s...
Wei Wang, Shabbir Ahmed
IAJIT
2007
104views more  IAJIT 2007»
15 years 4 months ago
A Learning-Classification Based Approach for Word Prediction
: Word prediction is an important NLP problem in which we want to predict the correct word in a given context. Word completion utilities, predictive text entry systems, writing aid...
Hisham Al-Mubaid
TCOM
2008
101views more  TCOM 2008»
15 years 4 months ago
Transmit beamforming for space-frequency coded MIMO-OFDM systems with spatial correlation feedback
Abstract--This paper addresses the problem of joint optimization of transmit beamforming and space-frequency (SF) coding for MIMO-OFDM systems with spatial correlation feedback in ...
Ahmed K. Sadek, Weifeng Su, K. J. Ray Liu
106
Voted
SIGMOD
1996
ACM
116views Database» more  SIGMOD 1996»
15 years 9 months ago
Optimizing Queries over Multimedia Repositories
Repositories of multimedia objects having multiple types of attributes e.g., image, text are becoming increasingly common. A selection on these attributes will typically produce n...
Surajit Chaudhuri, Luis Gravano