4894 search results - page 422 / 979 » Choices |
190
click to vote
UTP
2010
15 years 5 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
235
click to vote
ASWC
2009
Springer
15 years 5 months ago
2009
Springer
People conventionally refer to an action or occurrence taking place at a certain time at a specific location as an event. This notion is potentially useful for connecting individua...
227
click to vote
CGVR
2009
15 years 5 months ago
2009
FXPAL's Pantheia system enables users to create virtual models by `marking up' a physical space with pre-printed visual markers. The meanings associated with the markers...
203
click to vote
DCC
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we introduce an analytical expression for the expected distortion of a single layer encoded video bit-stream. Based on the expected distortion model, we propose a d...
210
click to vote
EMNLP
2009
15 years 5 months ago
2009
In this work, we propose two extensions of standard word lexicons in statistical machine translation: A discriminative word lexicon that uses sentence-level source information to ...