18155 search results - page 243 / 3631 » Point |
245
click to vote
ASE
2011
15 years 4 days ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
137
click to vote
JDCTA
2010
14 years 12 months ago
2010
The wide diffusion of new technologies in communication and business has changed how consumer and product/store knowledge has to be managed and represented digitally. This issue h...
135
click to vote
TIP
2010
14 years 11 months ago
2010
Lidar waveforms are 1D signals representing a train of echoes caused by reflections at different targets. Modeling these echoes with the appropriate parametric function is useful ...
187
click to vote
CORR
2012
Springer
14 years 25 days ago
2012
Springer
Determinantal point processes (DPPs), which arise in random matrix theory and quantum physics, are natural models for subset selection problems where diversity is preferred. Among...
143
click to vote
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
Abstract—Providing adequate Wi-Fi services to meet user demand in densely populated environments has been a fundamental challenge for Wi-Fi networks. In this paper, we explore th...