Sciweavers

9316 search results - page 405 / 1864
» Analysis of traceback techniques
Sort
View
ATAL
2010
Springer
15 years 8 months ago
Generation and analysis of multiple futures with swarming agents
Most agent-based modeling techniques generate only a single trajectory in each run, greatly undersampling the space of possible trajectories. Swarming agents can explore a great m...
H. Van Dyke Parunak
ICASSP
2010
IEEE
15 years 7 months ago
Geometric tampering estimation by means of a SIFT-based forensic analysis
In many application scenarios digital images play a basic role and often it is important to assess if their content is realistic or has been manipulated to mislead watcher’s opi...
Irene Amerini, Lamberto Ballan, Roberto Caldelli, ...
BC
2007
77views more  BC 2007»
15 years 7 months ago
Deterministic analysis of stochastic bifurcations in multi-stable neurodynamical systems
Many perceptual and cognitive processes, like decision-making and bistable perception, involve multistable phenomena under the influence of noise. The role of noise in a multistab...
Gustavo Deco, Daniel Martí
IJISEC
2008
101views more  IJISEC 2008»
15 years 6 months ago
SAT-based model-checking for security protocols analysis
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
Alessandro Armando, Luca Compagna
CN
2007
115views more  CN 2007»
15 years 6 months ago
Cost-effective single-hub WDM ring networks: A proposal and analysis
In this paper, we study a new concept of traffic grooming in wavelength-division multiplexing (WDM) ring networks that aims at eliminating both the bandwidth underutilization and ...
Nizar Bouabdallah, Harry G. Perros