31 search results - page 3 / 7 » Detection of Global Predicates: Techniques and Their Limitat... |
CAV
2009
Springer
16 years 5 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
103
Voted
TIFS
2008
14 years 11 months ago
2008
Performance of biometric-based recognition systems depends on various factors: database quality, image preprocessing, encoding techniques, etc. Given a biometric database and a se...
178
Voted
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
Semantic caches, originally proposed for client-server database systems, are being recently deployed to accelerate the serving of dynamic web content by transparently caching data...
ICSE
2008
IEEE-ACM
16 years 13 days ago
2008
IEEE-ACM
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
101
Voted
MICCAI
2002
Springer
16 years 15 days ago
2002
Springer
Wedge shaped defects of the retinal nerve fiber layer (RNFL) may occur in glaucoma. Currently, automatic detection of wedge shaped defects in Scanning Laser Polarimetry images of t...