3573 search results - page 320 / 715 » Reasoning about Codata |
141
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Modern structure from motion techniques are capable of building city-scale 3D reconstructions from large image collections, but have mostly ignored the problem of largescale struc...
169
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
180
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
156
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...
132
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...