1641 search results - page 146 / 329 » Termination Analysis with Algorithmic Learning |
141
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
The wireless network scenario here is based on N users that communicate one with the others through a central relay node by adopting the Analog Network Coding (ANC) paradigm. In th...
137
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
129
Voted
VTC
2010
IEEE
15 years 1 months ago
2010
IEEE
—A common simplification in the treatment of random linear channels is the assumption of stationarity of the channel in time. The wireless channel is, however, known to be inher...
125
click to vote
VLC
2011
14 years 10 months ago
2011
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
134
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We propose a methodology for improved segmentation of images in a Bayesian framework by fusion of color, texture and gradient information. The proposed algorithm is initialized by...