Sciweavers

2119 search results - page 185 / 424
» Structure-Preserving Model Reduction
Sort
View
ICPR
2010
IEEE
16 years 1 months ago
Exploiting Visual Quasi-Periodicity for Automated Chewing Event Detection Using Active Appearance Models and Support Vector Mach
We present a method that automatically detects chewing events in surveillance video of a subject. Firstly, an Active Appearance Model (AAM) is used to track a subject’s face acr...
Steven Cadavid, Mohamed Abdel-Mottaleb
FOSAD
2009
Springer
16 years 1 months ago
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
Sebastian Mödersheim, Luca Viganò
WOWMOM
2009
ACM
128views Multimedia» more  WOWMOM 2009»
16 years 28 days ago
A queuing modeling approach for Load-Aware Route Selection in heterogeneous mesh networks
Wireless mesh networks are primarily used to provide Internet access by sharing the Internet connections of a limited number of gateways. If traffic is routed in the mesh without...
Raffaele Bruno, Marco Conti, Antonio Pinizzotto
DAC
2006
ACM
16 years 12 days ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...
SOFTVIS
2005
ACM
15 years 12 months ago
Exploiting UML dynamic object modeling for the visualization of C++ programs
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
Brian A. Malloy, James F. Power