6978 search results - page 1093 / 1396 » On Proofs in System P |
250
click to vote
IPAW
2010
15 years 4 months ago
2010
Data provenance graphs are form of metadata that can be used to establish a variety of properties of data products that undergo sequences of transformations, typically specified as...
149
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we discuss the collection, semantic annotation and analysis of real-time social signals from microblogging data. We focus on users interested in analyzing social sign...
167
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider a wireless communication system where multiple co-channel users transmit data via a synchronous, frequency-flat Rayleigh fading channel. The receiver employs an antenna...
198
click to vote
CGF
2010
15 years 1 months ago
2010
This state of the art report covers reconstruction methods for transparent and specular objects or phenomena. While the 3D acquisition of opaque surfaces with lambertian reflectan...
197
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In the 21st century, Aerial and satellite images are information rich. They are also complex to analyze. For GIS systems, many features require fast and reliable extraction of ope...