628 search results - page 111 / 126 » The numerical evaluation of a challenging integral |
COLCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
Environmental monitoring is one of the most important sensor network application domains. The success of those applications is determined by the quality of the collected data. Thu...
FPGA
2005
ACM
14 years 3 months ago
2005
ACM
Floating-point Sparse Matrix-Vector Multiplication (SpMXV) is a key computational kernel in scientific and engineering applications. The poor data locality of sparse matrices sig...
HCI
2009
13 years 8 months ago
2009
This paper presents a system for another input modality in a multimodal human-machine interaction scenario. In addition to other common input modalities, e.g. speech, we extract he...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
A primary challenge to large-scale data integration is creating semantic equivalences between elements from different data sources that correspond to the same real-world entity or...