Sciweavers

236 search results - page 28 / 48
» From Weak to Strong Watermarking
Sort
View
SEFM
2006
IEEE
14 years 3 months ago
On Bisimilarities Induced by Relations on Actions
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
S. Arun-Kumar
ICANN
2005
Springer
14 years 3 months ago
Image Segmentation by Complex-Valued Units
Spike synchronisation and de-synchronisation are important for feature binding and separation at various levels in the visual system. We present a model of complex valued neuron ac...
Cornelius Weber, Stefan Wermter
HICSS
2003
IEEE
159views Biometrics» more  HICSS 2003»
14 years 3 months ago
Emergent Structures in Supply Chains - A Study Integrating Agent-Based and System Dynamics Modeling
Supply chain management is a demanding and complicated task due to its broad scope and the strong connectedness of its objects and issues. In order to make theoretical investigati...
Nadine Schieritz, Andreas Größler
ISCAS
2003
IEEE
62views Hardware» more  ISCAS 2003»
14 years 3 months ago
Simple noise formulas for MOS analog design
The designer needs simple and accurate models to estimate noise in MOS transistors as a function of their size, bias point and technology. In this work, we present a simple, conti...
Alfredo Arnaud, Carlos Galup-Montoro
TABLEAUX
1998
Springer
14 years 2 months ago
Fibring Semantic Tableaux
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
Bernhard Beckert, Dov M. Gabbay