1580 search results - page 127 / 316 » Non-Interference Through Determinism |
TKDE
2010
13 years 8 months ago
2010
— Tampering of a database can be detected through the use of cryptographically-strong hash functions. Subsequently-applied forensic analysis algorithms can help determine when, w...
ACL
2010
13 years 8 months ago
2010
We present a system that learns to follow navigational natural language directions. Where traditional models learn from linguistic annotation or word distributions, our approach i...
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Several underwater network characteristics, including long propagation delays and a bandwidth dependent on distance, provide unique challenges to protocol designers. In t...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents a simple and active calibration technique of camera-projector systems based on planar homography. From the camera image of a planar calibration pattern, we gene...
SENSYS
2010
ACM
13 years 8 months ago
2010
ACM
This paper presents PipeProbe, a mobile sensor system for determining the spatial topology of hidden water pipelines behind walls. PipeProbe works by dropping a tiny wireless sens...