10159 search results - page 1639 / 2032 » System Design Validation Using Formal Models |
163
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Semi-fragile watermarking can be used to detect illegal and local manipulation of images, while being robust towards legal manipulations such as lossy compression. This paper desc...
197
Voted
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— Exploratory activities seem to be crucial for our cognitive development. According to psychologists, exploration is an intrinsically rewarding behaviour. The developmental robo...
176
click to vote
GLVLSI
2006
IEEE
16 years 27 days ago
2006
IEEE
Reliability has become a significant challenge for system design in new process technologies. Higher integration levels dramatically increase power densities, which leads to high...
155
click to vote
AOSE
2005
Springer
16 years 11 days ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri netbased MAS framework Mulan. By transferring the concept...
210
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Multimodal interfaces have long held the promise of enhanced and effective human machine interaction. The ultimate goal of multimodal interfaces is to facilitate human activity al...