Sciweavers

1290 search results - page 44 / 258
» A Framework on the Applications of Interactive Art
Sort
View
AOSE
2005
Springer
15 years 5 months ago
Supporting the Development of Multi-agent Interactions Via Roles
In the multi-agent scenario, interaction among agents is an issue that must be faced in an appropriate way. Modeling interactions by roles can simplify the development of the inter...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
ESORICS
2002
Springer
15 years 11 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
CCIW
2011
Springer
14 years 3 months ago
On the Application of Structured Sparse Model Selection to JPEG Compressed Images
The representation model that considers an image as a sparse linear combination of few atoms of a predefined or learned dictionary has received considerable attention in recent ye...
Giovanni Maria Farinella, Sebastiano Battiato
CVPR
1997
IEEE
15 years 4 months ago
Deformable Multi Template Matching with Application to Portal Images
The exact positioning of patients during radiotherapy is essential for high precision treatment. The registration of portal image sequences can help to control the patient positio...
Martin Berger, Gaudenz Danuser
CVBIA
2005
Springer
15 years 5 months ago
A New Coarse-to-Fine Framework for 3D Brain MR Image Registration
Registration, that is, the alignment of multiple images, has been one of the most challenging problems in the field of computer vision. It also serves as an important role in biome...
Terrence Chen, Thomas S. Huang, Wotao Yin, Xiang S...