Sciweavers

2786 search results - page 36 / 558
» A Practical Technique for Process Abstraction
Sort
View
IWDW
2007
Springer
15 years 7 months ago
A Practical Real-Time Video Watermarking Scheme Robust against Downscaling Attack
Abstract. In this paper, we propose a practical real-time video watermarking scheme for downscaling attack. We embed watermark into an arbitrary size of a host video and extract it...
Kyung-Su Kim, Dong-Hyuck Im, Young-Ho Suh, Heung-K...
DFKI
2005
Springer
15 years 7 months ago
Agents Enacting Social Roles. Balancing Formal Structure and Practical Rationality in MAS Design
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
Martin Meister 0002, Diemo Urbig, Kay Schröte...
TC
2008
15 years 1 months ago
Optimal and Practical Algorithms for Sorting on the PDM
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
Sanguthevar Rajasekaran, Sandeep Sen
FM
2009
Springer
110views Formal Methods» more  FM 2009»
15 years 8 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
HAPTICS
2010
IEEE
15 years 5 months ago
The Core Skills Trainer: A Set of Haptic Games for Practicing Key Clinical Skills
Abstract. A new approach to teaching the skills used by health professionals during hands-on (palpation-based) examinations and procedures is reported, where students practice indi...
Sarah Baillie, Neil Forrest, Tierney Kinnison