5084 search results - page 231 / 1017 » Proving Possibility Properties |
170
Voted
ICMCS
2005
IEEE
16 years 24 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...
161
click to vote
SAINT
2005
IEEE
16 years 23 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...
199
click to vote
TIME
2005
IEEE
16 years 23 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...
190
click to vote
ECOOP
2005
Springer
16 years 22 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 ...
186
click to vote
LPAR
2005
Springer
16 years 21 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...