Sciweavers

169 search results - page 16 / 34
» Reduced Length Checking Sequences
Sort
View
ECCV
2006
Springer
14 years 10 months ago
Cyclostationary Processes on Shape Spaces for Gait-Based Recognition
Abstract. We present a geometric and statistical approach to gaitbased human recognition. The novelty here is to consider observations of gait, considered as planar silhouettes, to...
David Kaziska, Anuj Srivastava
CSB
2005
IEEE
129views Bioinformatics» more  CSB 2005»
14 years 2 months ago
ssahaSNP A Polymorphism Detection Tool on a Whole Genome Scale
We present a software package which can detect homozygous SNPs and indels on a eukaryotic genome scale from millions of shotgun reads. Matching seeds of a few kmer words are found...
Zemin Ning, Mario Cáccamo, James C. Mulliki...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
13 years 9 months ago
Reachability analysis for a class of Petri nets
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
Yu Ru, Christoforos N. Hadjicostis
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
14 years 2 days ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
FUN
2010
Springer
230views Algorithms» more  FUN 2010»
13 years 11 months ago
O(1)-Time Unsorting by Prefix-Reversals in a Boustrophedon Linked List
Conventional wisdom suggests that O(k)-time is required to reverse a substring of length k. To reduce this time complexity, a simple and unorthodox data structure is introduced. A ...
Aaron Williams