11397 search results - page 1945 / 2280 » A Relational Abstraction for Functions |
236
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
182
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Abstract— In this paper, we derive a maximum-likelihood (ML) decoder of the decode-and-forward (DF) protocol utilizing an arbitrary complex-valued M-point constellation. Existing...
232
Voted
WIOPT
2011
IEEE
14 years 11 months ago
2011
IEEE
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...
231
Voted
ICWE
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out ...
306
Voted
IPCAI
2011
14 years 11 months ago
2011
Abstract. Fluoroscopic overlay images rendered from pre-operative volumetric data can provide additional guidance for physicians during catheter ablation procedures for treatment o...