3130 search results - page 539 / 626 » Design Correctness of Digital Systems |
140
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
151
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...
129
click to vote
SENSYS
2010
ACM
15 years 1 months ago
2010
ACM
Real-time transit tracking is gaining popularity as a means for transit agencies to improve the rider experience. However, many transit agencies lack either the funding or initiat...
147
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Compressive sensing (CS) exploits the sparsity present in many common signals to reduce the number of measurements needed for digital acquisition. With this reduction would come, ...
156
click to vote
GIS
2010
ACM
14 years 10 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...