Sciweavers

8056 search results - page 408 / 1612
» Object Behavior Analysis
Sort
View
ENTCS
2007
105views more  ENTCS 2007»
15 years 6 months ago
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
Srecko Brlek, Sardaouna Hamadou, John Mullins
QUESTA
2006
110views more  QUESTA 2006»
15 years 6 months ago
Analysis of customers' impatience in queues with server vacations
Abstract Many models for customers impatience in queueing systems have been studied in the past; the source of impatience has always been taken to be either a long wait already exp...
Eitan Altman, Uri Yechiali
PPSN
2010
Springer
15 years 5 months ago
An Analysis of the XOR Dynamic Problem Generator Based on the Dynamical System
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...
Renato Tinós, Shengxiang Yang
166
Voted
GW
2009
Springer
187views Biometrics» more  GW 2009»
15 years 4 months ago
Gesture Saliency: A Context-Aware Analysis
This paper presents a motion attention model that aims at analyzing gesture saliency using context-related information at three different levels. At the first level, motion feature...
Matei Mancas, Donald Glowinski, Gualtiero Volpe, P...
195
Voted
CVPR
1998
IEEE
16 years 9 months ago
Efficient Multiple Model Recognition in Cluttered 3-D Scenes
We present a 3-D shape-based object recognition system for simultaneous recognition of multiple objects in scenes containing clutter and occlusion. Recognition is based on matchin...
Andrew Edie Johnson, Martial Hebert