Sciweavers

2012 search results - page 46 / 403
» Lane-Change Detection Using a Computational Driver Model
Sort
View
AMAST
2006
Springer
14 years 22 days ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
ECCV
2010
Springer
14 years 8 days ago
Anomalous Behaviour Detection using Spatiotemporal Oriented Energies, Subset Inclusion Histogram Comparison and Event-Driven Pro
Abstract. This paper proposes a novel approach to anomalous behaviour detection in video. The approach is comprised of three key components. First, distributions of spatiotemporal ...
BMVC
2010
13 years 7 months ago
Detection of Curves with Unknown Endpoints using Minimal Path Techniques
We present a novel method to detect curves with unknown endpoints using minimal path techniques. Our work builds on the state of the art minimal path techniques currently used to ...
Vivek Kaul, Yichang Tsai, Anthony J. Yezzi
GLVLSI
2000
IEEE
110views VLSI» more  GLVLSI 2000»
14 years 1 months ago
A sensitivity based placer for standard cells
We present a new timing driven method for global placement. Our method is based on the observation that similar net length reductions in the different nets that make up a path may...
Bill Halpin, C. Y. Roger Chen, Naresh Sehgal
RECOMB
2008
Springer
14 years 9 months ago
Computation of Median Gene Clusters
Whole genome comparison based on gene order has become a popular approach in comparative genomics. An important task in this field is the detection of gene clusters, i.e. sets of g...
Sebastian Böcker, Katharina Jahn, Julia Mixta...