Sciweavers

2355 search results - page 411 / 471
» Anonymizing Temporal Data
Sort
View
COCOON
2010
Springer
14 years 15 days ago
Tracking a Generator by Persistence
The persistent homology provides a mathematical tool to describe “features” in a principled manner. The persistence algorithm proposed by Edelsbrunner et al. [9] can compute n...
Oleksiy Busaryev, Tamal K. Dey, Yusu Wang
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
14 years 3 days ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...
CVPR
2000
IEEE
14 years 3 days ago
Adaptive Bayesian Recognition in Tracking Rigid Objects
We present a framework for tracking rigid objects based on an adaptive Bayesian recognition technique that incorporates dependencies between object features. At each frame we fin...
Yuri Boykov, Daniel P. Huttenlocher
ICIP
2000
IEEE
14 years 2 days ago
Switched Error Concealment and Robust Coding Decisions in Scalable Video Coding
This work introduces two complementary techniques to improve the packet loss resilience of scalable video coding systems. First, a “switch per-pixel” error concealment (SPEC) ...
Rui Zhang, Shankar L. Regunathan, Kenneth Rose
MICRO
2000
IEEE
80views Hardware» more  MICRO 2000»
14 years 2 days ago
Silent stores for free
Silent store instructions write values that exactly match the values that are already stored at the memory address that is being written. A recent study reveals that significant ...
Kevin M. Lepak, Mikko H. Lipasti