Sciweavers

110 search results - page 12 / 22
» Patterson-Wiedemann construction revisited
Sort
View
DRM
2005
Springer
14 years 1 months ago
Watermarking and ownership problem: a revisit
Watermarking technologies have been envisioned as a potential means for establishing ownership on digital media objects. However, achievable robustness and false-positive rates of...
Husrev T. Sencar, Nasir D. Memon
PLDI
2004
ACM
14 years 28 days ago
Symbolic pointer analysis revisited
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
Jianwen Zhu, Silvian Calman
ECAI
2008
Springer
13 years 9 months ago
Heuristics for Planning with Action Costs Revisited
We introduce a simple variation of the additive heuristic used in the HSP planner that combines the benefits of the original additive heuristic, namely its mathematical formulation...
Emil Keyder, Hector Geffner
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
14 years 1 months ago
Free Modal Algebras: A Coalgebraic Perspective
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
Nick Bezhanishvili, Alexander Kurz
E4MAS
2006
Springer
13 years 11 months ago
A Unified Model for Physical and Social Environments
Abstract. The AGRE model proposed by Ferber et al. is based on an interesting generalization of both physical and social environments. In this paper we revisit the AGRE model and e...
José-Antonio Báez-Barranco, Tiberiu ...