Sciweavers

2946 search results - page 455 / 590
» Physical Modeling in MATLAB
Sort
View
JDCTA
2010
187views more  JDCTA 2010»
15 years 1 months ago
Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
Bo Meng, Wei Huang, Zimao Li, Dejun Wang
SMA
2009
ACM
132views Solid Modeling» more  SMA 2009»
16 years 26 days ago
Robust Voronoi-based curvature and feature estimation
Many algorithms for shape analysis and shape processing rely on accurate estimates of differential information such as normals and curvature. In most settings, however, care must...
Quentin Mérigot, Maks Ovsjanikov, Leonidas ...
TON
2012
13 years 8 months ago
Exploiting Data Fusion to Improve the Coverage of Wireless Sensor Networks
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
Rui Tan, Guoliang Xing, Benyuan Liu, Jianping Wang...
CVPR
2009
IEEE
17 years 1 months ago
Actions in context
This paper exploits the context of natural dynamic scenes for human action recognition in video. Human actions are frequently constrained by the purpose and the physical propert...
Marcin Marszalek (INRIA), Ivan Laptev (INRIA), Cor...
CVPR
2001
IEEE
16 years 8 months ago
Bayesian Color Constancy for Outdoor Object Recognition
Outdoor scene classification is challenging due to irregular geometry, uncontrolled illumination, and noisy reflectance distributions. This paper discusses a Bayesian approach to ...
Yanghai Tsin, Robert T. Collins, Visvanathan Rames...