3591 search results - page 471 / 719 » Typing linear constraints |
156
click to vote
ISCAS
2005
IEEE
16 years 6 days ago
2005
IEEE
—This paper deals with the problem of shot-change detection on H.264/AVC compressed video. As H.264/AVC employs several new coding tools, the statistic information of macroblock ...
167
click to vote
FROCOS
2005
Springer
16 years 4 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
177
click to vote
ICTCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
214
Voted
ICWE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we show an approach that allows web interfaces to dynamically distribute among several interconnected heterogeneous devices in an environment to support the...
150
Voted
IDA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We investigate an application of Probabilistic Latent Semantics to the problem of device usage analysis in an infrastructure in which multiple users have access to a shar...