5084 search results - page 231 / 1017 » Proving Possibility Properties |
148
click to vote
ICMCS
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we present an object tracking algorithm for the low-frame-rate video in which objects have fast motion. The conventional mean-shift tracking fails in case the reloc...
144
click to vote
SAINT
2005
IEEE
16 years 3 days ago
2005
IEEE
Stochastic bounds are a promising method to analyze QoS requirements. Indeed it is sufficient to prove that a bound of the real performance satisfies the guarantee. However, the...
178
click to vote
TIME
2005
IEEE
16 years 3 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
168
click to vote
ECOOP
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
175
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...