3389 search results - page 501 / 678 » Real-Time and Fault-Tolerant Systems |
199
click to vote
TIME
2005
IEEE
16 years 20 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...
202
click to vote
DAGM
2001
Springer
15 years 11 months ago
2001
Springer
Novel similarity measures for object recognition and image matching are proposed, which are inherently robust against occlusion, clutter, and nonlinear illumination changes. They c...
176
click to vote
PCM
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, a new adaptive watermarking scheme for uncompressed and compressed video is presented. The proposed method embeds the watermark in DC components by quantizing DC coe...
177
click to vote
DSD
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
221
click to vote
CSCWD
2008
Springer
15 years 9 months ago
2008
Springer
3D information systems for education must be investigated and adopted for a more involving form of learning. It is in this context that we propose the use of Second Life as an env...