29172 search results - page 5512 / 5835 » Modeling Systems in CLP |
161
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
In fall of 2004, we met Jim Gray and began to converse about the data needs of ocean scientists. The conversations ultimately led to the development of a unique portal for explori...
217
click to vote
TSMC
2008
15 years 6 months ago
2008
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...
208
Voted
TWC
2008
15 years 6 months ago
2008
Ultra-wideband (UWB) communication is envisaged to be deployed in indoor environments, where the noise distribution is decidedly non-Gaussian. A critical challenge for impulse radi...
204
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
The probabilistic formalism of quantum physics is said to provide a sound basis for building a principled information retrieval framework. Such a framework can be based on the not...
160
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and verifier. The ...