Sciweavers

480 search results - page 60 / 96
» A practical bottleneck detection method
Sort
View
GCB
2003
Springer
82views Biometrics» more  GCB 2003»
14 years 2 months ago
Threshold extraction in metabolite concentration data
The further development of analytical techniques based on gas chromatography and mass spectrometry now facilitate the generation of larger sets of metabolite concentration data. T...
André Flöter, Jacques Nicolas, Torsten...
CAV
2004
Springer
126views Hardware» more  CAV 2004»
14 years 24 days ago
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
Kedar S. Namjoshi
BMCBI
2007
160views more  BMCBI 2007»
13 years 9 months ago
Convergent algorithms for protein structural alignment
Background: Many algorithms exist for protein structural alignment, based on internal protein coordinates or on explicit superposition of the structures. These methods are usually...
Leandro Martínez, Roberto Andreani, Jos&eac...
ICPR
2004
IEEE
14 years 10 months ago
Multi Feature Path Modeling for Video Surveillance
This paper proposes a novel method for detecting nonconforming trajectories of objects as they pass through a scene. Existing methods mostly use spatial features to solve this pro...
Imran N. Junejo, Mubarak Shah, Omar Javed
ACCV
2009
Springer
14 years 3 months ago
Better Correspondence by Registration
Accurate image correspondence is crucial for estimating multiple-view geometry. In this paper, we present a registration-based method for improving accuracy of the image correspond...
Shufei Fan, Rupert Brooks, Frank P. Ferrie