2661 search results - page 409 / 533 » Model Checking Performability Properties |
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we propose a framework of factorization-based non-rigid shape modeling and tracking in stereo-motion. We construct a measurement matrix with the stereo-motion data c...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
Recent information hiding schemes are scrutinized in terms of their cryptographic performance. We establish conditions under which the key equivocation function is optimal for the...
BROADNETS
2007
IEEE
14 years 4 months ago
2007
IEEE
While most transmission schemes in OBS networks relegate retransmission to higher protocol layers, the scheme proposed in this paper reduces retransmission delays by exploiting ...
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
The goal of an autonomic system is to self-manage itself and adjust its actions in the face of environmental changes. In this paper, we adopt a multiagent approach to developing a...
ICDAR
2007
IEEE
14 years 4 months ago
2007
IEEE
Using a lexicon can often improve character recognition under challenging conditions, such as poor image quality or unusual fonts. We propose a flexible probabilistic model for c...