Sciweavers

4447 search results - page 469 / 890
» Model Checking Games
Sort
View
233
Voted
CISIS
2008
IEEE
16 years 2 months ago
Integrating Shadows in Model Driven Engineering for Agile Software Development
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
Marc Conrad, Marianne Huchard, Thomas Preuss
191
Voted
CISS
2007
IEEE
16 years 2 months ago
Towards Optimal Design of Data Hiding Algorithms Against Nonparametric Adversary Models
Abstract—This paper presents a novel zero-sum watermarking game between a detection algorithm and a data hiding adversary. Contrary to previous research, the detection algorithm ...
Alvaro A. Cárdenas, George V. Moustakides, ...
192
Voted
ICMCS
2009
IEEE
106views Multimedia» more  ICMCS 2009»
15 years 5 months ago
Modeling and analysis of content identification
Content fingerprinting provides a compact content-based representation of a multimedia document. An important application of fingerprinting is the identification of modified copie...
Avinash L. Varna, Min Wu
ICDE
2007
IEEE
117views Database» more  ICDE 2007»
16 years 9 months ago
Finding Skyline and Top-k Bargaining Solutions
We address skyline and top-k processing in web interaction scenarios. We model the problem space based on game theory principles and present new algorithms and heuristics to reali...
Mohamed A. Soliman, Ihab F. Ilyas, Nick Koudas
188
Voted
CIG
2006
IEEE
16 years 1 months ago
ChessBrain II - A Hierarchical Infrastructure for Distributed Inhomogeneous Speed-Critical Computation
—The ChessBrain project currently holds an official Guinness World Record for the largest number of computers used to play one single game of chess. In this paper, we cover the l...
Colin Frayn, Carlos Justiniano, Kevin Lew