3573 search results - page 320 / 715 » Reasoning about Codata |
118
click to vote
CVPR
2010
IEEE
16 years 1 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...
135
click to vote
PLDI
2009
ACM
15 years 11 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...
145
click to vote
CSFW
2009
IEEE
15 years 11 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...
124
click to vote
IAT
2009
IEEE
15 years 11 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...
108
click to vote
ICASSP
2009
IEEE
15 years 11 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...