Sciweavers

4647 search results - page 170 / 930
» Composite Design Patterns
Sort
View
CAIP
2003
Springer
176views Image Analysis» more  CAIP 2003»
15 years 7 months ago
Evaluation of an Adaptive Composite Gaussian Model in Video Surveillance
Video surveillance systems seek to automatically identify events of interest in a variety of situations. Extracting a moving object from background is the most important step of t...
Qi Zang, Reinhard Klette
186
Voted
CONCUR
2001
Springer
15 years 6 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
98
Voted
CCS
2010
ACM
15 years 5 months ago
Scene tagging: image-based CAPTCHA using image composition and object relationships
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
Peter Matthews, Cliff Changchun Zou
ENTCS
2007
129views more  ENTCS 2007»
15 years 2 months ago
Protocol Composition Logic (PCL)
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
Anupam Datta, Ante Derek, John C. Mitchell, Arnab ...
69
Voted
DAC
1998
ACM
16 years 3 months ago
MTCMOS Hierarchical Sizing Based on Mutual Exclusive Discharge Patterns
James Kao, Siva Narendra, Anantha Chandrakasan