Sciweavers

9787 search results - page 689 / 1958
» A Utile Function Optimizer
Sort
View
181
Voted
ERSHOV
2003
Springer
16 years 19 days ago
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
Henrik Björklund, Sven Sandberg, Sergei G. Vo...
213
Voted
CORR
2011
Springer
145views Education» more  CORR 2011»
15 years 2 months ago
Global Search Based on Efficient Diagonal Partitions and a set of Lipschitz Constants
In the paper, the global optimization problem of a multidimensional “black-box” function satisfying the Lipschitz condition over a hyperinterval with an unknown Lipschitz const...
Yaroslav D. Sergeyev, Dmitri E. Kvasov
197
Voted
DCC
2011
IEEE
15 years 2 months ago
Distributed Quantization of Order Statistics with Applications to CSI Feedback
Feedback of channel state information (CSI) in wireless systems is essential in order to exploit multi-user diversity and achieve the highest possible performace. When each spatia...
Matthew Pugh, Bhaskar D. Rao
INFOCOM
2008
IEEE
16 years 1 months ago
Spot Pricing of Secondary Spectrum Usage in Wireless Cellular Networks
—Recent deregulation initiatives enable cellular providers to sell excess spectrum for secondary usage. In this paper, we investigate the problem of optimal spot pricing of spect...
Huseyin Mutlu, Murat Alanyali, David Starobinski
ICIDS
2009
Springer
16 years 2 months ago
A Computational Model of Emotional Response to Stories
In this paper, we consider the problem of computing the affective responses that humans experience when reading or watching stories. Evidence suggests that emotional responses res...
Adam Fitzgerald, Gurlal Kahlon, Mark O. Riedl