Sciweavers

4061 search results - page 500 / 813
» The Dynamics of Change
Sort
View
ISSTA
2012
ACM
13 years 9 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...

Publication
304views
17 years 5 months ago
A Binary Feedback Scheme for Congestion Avoidance in Computer Networks with Connectionless Network Layer
We propose a scheme for congestion avoidance in networks using a connectionless protocol at the network layer. The scheme uses a minimal amount of feedback from the network to the ...
K. Ramakrishnan and R. Jain
ICDE
2009
IEEE
125views Database» more  ICDE 2009»
16 years 8 months ago
Temporal Outlier Detection in Vehicle Traffic Data
Outlier detection in vehicle traffic data is a practical problem that has gained traction lately due to an increasing capability to track moving vehicles in city roads. In contrast...
Xiaolei Li, Zhenhui Li, Jiawei Han, Jae-Gil Lee
ICIP
2005
IEEE
16 years 8 months ago
An efficient Rao-Blackwellized particle filter for object tracking
In this paper we present a technique for the tracking of textured almost planar object. The target is modeled as a noisy planar cloud of points. The tracking is led with an approp...
Étienne Mémin, Elise Arnaud
ICIP
2004
IEEE
16 years 8 months ago
Robust shape based two hand tracker
This paper presents a robust shape-based on-line tracker for simultaneously tracking the motion of both hands, that is robust to cases of background clutter, other moving objects,...
Ketan Barhate, Kaustubh Patwardhan, Sumantra Dutta...