42230 search results - page 7869 / 8446 » Algorithms and Complexity Results for |
207
click to vote
EUROSYS
2011
ACM
14 years 11 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
227
click to vote
EWSN
2011
Springer
14 years 11 months ago
2011
Springer
Significant research efforts are being devoted to Body Area Networks (BAN) due to their potential for revolutionizing healthcare practices. Energy-efficiency and communication re...
238
click to vote
FLAIRS
2011
14 years 11 months ago
2011
This study presents an evaluation of WordNet-based semantic similarity and relatedness measures in tasks focused on concept similarity. Assuming similarity as distinct from relate...
308
click to vote
GECCO
2011
Springer
14 years 11 months ago
2011
Springer
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
312
click to vote
GIS
2011
ACM
14 years 11 months ago
2011
ACM
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...