127 search results - page 14 / 26 » A Framework for Partial Data Flow Analysis |
KBSE
1999
IEEE
14 years 1 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
DKE
2006
13 years 7 months ago
2006
The last few years, there has been an extensive body of literature in data warehousing applications that primarily focuses on basket-type (transactional) data, common in retail in...
ICIP
2009
IEEE
2009
IEEE
Localized Null Space Representation For Dynamic Updating And Downdating In Image And Video Databases
14 years 8 months ago
Event/object classification and recognition is an extremely challenging problem, particularly when the query or stored data undergo an affine transformation due to camera motion. ...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
Many segmentation problems in medical imaging rely on accurate modeling and estimation of tissue intensity probability density functions. Gaussian mixture modeling, currently the ...
BMCBI
2007
13 years 7 months ago
2007
Background: Ionic current blockade signal processing, for use in nanopore detection, offers a promising new way to analyze single molecule properties, with potential implications ...