1133 search results - page 23 / 227 » Best Practices in e-Assessment |
161
click to vote
JFLP
2002
15 years 5 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
195
click to vote
FMAM
2010
15 years 4 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
154
click to vote
ISAAC
2009
Springer
16 years 21 days ago
2009
Springer
Given m unit disks and n points in the plane, the discrete unit disk cover problem is to select a minimum subset of the disks to cover the points. This problem is NP-hard [11] and ...
176
click to vote
ISVC
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The drive for greater detail in scientific computing and digital photography is creating demand for ultra-resolution images and visualizations. Such images are best view...
151
click to vote
GLOBECOM
2008
IEEE
16 years 18 days ago
2008
IEEE
—MIMO-OFDM wireless systems require adaptive modulation and coding based on channel state information (CSI) to maximize throughput in changing wireless channels. Traditional adap...