2830 search results - page 414 / 566 » No Science without Semantics |
178
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper addresses scene understanding in the context of a moving camera, integrating semantic reasoning ideas from monocular vision with 3D information available through struct...
181
click to vote
HOST
2011
IEEE
14 years 3 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
141
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
137
click to vote
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
We propose the demonstration of SP4, a software-based programmable packet processing platform that supports (1) stateful packet processing useful for analyzing traffic flows wit...
162
Voted
EUROCRYPT
2012
Springer
13 years 6 months ago
2012
Springer
We describe a compression technique that reduces the public key size of van Dijk, Gentry, Halevi and Vaikuntanathan’s (DGHV) fully homomorphic scheme over the integers from ˜O(...