Sciweavers

6800 search results - page 635 / 1360
» Testing with Functions as Specifications
Sort
View
CN
2006
174views more  CN 2006»
15 years 7 months ago
NeXt generation/dynamic spectrum access/cognitive radio wireless networks: A survey
Today's wireless networks are characterized by a fixed spectrum assignment policy. However, a large portion of the assigned spectrum is used sporadically and geographical var...
Ian F. Akyildiz, Won-Yeol Lee, Mehmet C. Vuran, Sh...
JFP
2006
119views more  JFP 2006»
15 years 7 months ago
Gencel: a program generator for correct spreadsheets
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
Martin Erwig, Robin Abraham, Steve Kollmansberger,...
TITB
2008
109views more  TITB 2008»
15 years 7 months ago
Automatic Segmentation of High-Throughput RNAi Fluorescent Cellular Images
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
Pingkun Yan, Xiaobo Zhou, Mubarak Shah, Stephen T....
174
Voted
TMI
2008
73views more  TMI 2008»
15 years 7 months ago
Tensor-Based Cortical Surface Morphometry via Weighted Spherical Harmonic Representation
Abstract--We present a new tensor-based morphometric framework that quantifies cortical shape variations using a local area element. The local area element is computed from the Rie...
Moo K. Chung, Kim M. Dalton, Richard J. Davidson
JIS
2007
129views more  JIS 2007»
15 years 7 months ago
Employing log metrics to evaluate search behaviour and success: case study BBC search engine
Argues that metrics can be generated from search transactional Web logs that can help evaluate search engine effectiveness. Search logs from the BBC Website were analysed and metr...
Paul Huntington, David Nicholas, Hamid R. Jamali M...