Sciweavers

1746 search results - page 297 / 350
» On Compressibility of Protein Sequences
Sort
View
PSTV
1992
113views Hardware» more  PSTV 1992»
13 years 10 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
IVC
2002
185views more  IVC 2002»
13 years 8 months ago
Path detection in video surveillance
This paper addresses the problem of automatically extracting frequently used pedestrian pathways from video sequences of natural outdoor scenes. Path models are learnt from the ac...
Dimitrios Makris, Tim Ellis
SIGPRO
2002
114views more  SIGPRO 2002»
13 years 8 months ago
Error resilience and recovery in streaming of embedded video
The three-dimensional (3-D) SPIHT coder is a scalable or embedded coder that has proved its efficiency and its real-time capability in compression of video. A forward-error-correc...
Sungdae Cho, William A. Pearlman
ICPR
2010
IEEE
13 years 6 months ago
Tracking Ships from Fast Moving Camera through Image Registration
This paper presents an algorithm that detects and tracks marine vessels in video taken by a non-stationary camera installed on an untethered buoy. 1 The video is characterized by ...
Sergiy Fefilatyev, Dmitry B. Goldgof, Chad Lembke
SGAI
2010
Springer
13 years 6 months ago
Hierarchical Traces for Reduced NSM Memory Requirements
This paper presents work on using hierarchical long term memory to reduce the memory requirements of nearest sequence memory (NSM) learning, a previously published, instance-based ...
Torbjørn S. Dahl